Personal Website: http://ti.arc.nasa.gov/
Background: DOD and NASA program management in behavioral science and computer science, with emphasis on modeling, simulation, information technology, and intelligent systems.
Current activities: Formalizing the semantics of human behavioral-modeling DSLs, with applications to Next-Gen airspace control systems; analyzing operational human performance data in support of civil aviation safety; strategic planning for the NASA Office of the Chief Technologist (OCT) in the domains of Modeling, Simulation, Information Technology and Processing.
Current interests: Formal methods applied to human-computer integration; data mining and knowledge representation; formal requirements modeling; semantics of visual displays; cyber-physical systems.
(edit description)Last Added Resources
MICHAEL's Projects (1)
-
Brahms-Verification
4 members
Need help?
Visit our help center