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)