Technical Staff

Mark Boddy, Ph.D. Automated Planning and Scheduling, Hybrid Reasoning, Constraint Satisfaction Problems
Jim Carciofini Constraint Based Reasoning, Hybrid Reasoning, Multi-agent Collaborative Systems
Todd Carpenter Systems Engineering and Architecture, Real-time, Dependable, and Assured Systems, Mixed-mode Physical, Cyber and Social Risk Assessment
Dan D'Aloia Information Technology, Managment, Information systems
Johnathan Gohde Cyber Security, Automated Planning, Multi-agent Systems
J. Thomas Haigh, Ph.D. Security Architectures for Wired and Wireless Networks, Application of Automated Reasoning Systems to Problems in Cyber Security, Operating Systems and Application Security
Steven Harp, Ph.D. Cyber Security, Reasoning with Uncertainty, Decision Support and Automated Reasoning
Paul Hed Motion Imagery Exploitation and Standards, System and Software Engineering
Lindsey Hillesheim, Ph.D. Business Development, Proposal Management, Research Program Management
Ken Hoyme Systems Engineering and Architecture, Safety-Critical, Real-time, Fault-tolerant Systems, Medical Devices and Medical Device Security, Risk Management
Steven Johnston Hypervisors, Virtual Machines, Embedded Systems
Alex Mahrer Constraint Logic Programming, Virtual Machines, Virtual Machine Introspection, Hypervisors, Semantic Reasoning, Software Engineering
Martin Michalowski, Ph.D. Data Integration, Constraint-based Reasoning, Machine Learning, Health Informatics
Charles N. Payne Jr. High Assurance Computing, Policy Management and Definition, Formal Methods
August Schwerdfeger, Ph.D. Parsing and Verifiable Composition, Extensible and Domain-Specific Languages, Automated Language Translation
Hazel Shackleton Model-based Development Tools and methodologies, User-centered Design Implementation, Next-generation Avionics Systems
John Shackleton Real-Time Embedded Systems, Avionics Software, Image Processing
Tyler Smith Data Modeling, Mobile Platforms, Service Oriented Systems
Steve Vestal, Ph.D. Software and Systems Engineering, Safety-Critical, Real-time Embedded Computer Systems, Real-time Resource Allocation and Scheduling
Rand Whillock Signal and Image Processing, Biometrics, Robotics System Engineering, Training Systems and Human Interfaces