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
Alex Mahrer Constraint Logic Programming, Virtual Machines, Virtual Machine Introspection, Hypervisors, Semantic Reasoning, Software Engineering
Charles N. Payne Jr. High Assurance Computing, Policy Management and Definition, Formal Methods
Edward Sandberg Parallel Computing, Hypervisors, Virtual Machines, Software Engineering, Network Storage, Information Technology
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
Danielle Stewart Formal Methods, Model Checking, Model Based Safety Analysis, Safety Critical Systems Engineering, Requirements Analysis
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