Kristin Yvonne Rozier, Ph.D.

(pronounced "Rose" + "E" + "A")

Kristin has been affiliated with NASA's Ames Research Center since September, 2008, a member of the NASA formal methods research team since November, 2003, and a NASA employee since May, 2001. Her primary research interests include:

• Verification and validation of safety-critical systems, design-time checking of system logic and system requirements
• Model checking and specification debugging techniques and theory, including explicit and symbolic model checking, linear temporal logic satisfiability checking, automata theory, mathematical logics, set theory
• Automated reasoning, runtime monitoring, fault tolerance, safety analysis, enabling property-based design, and model-based design

Currently, Kristin is contributing research to the Next Generation Air Transportation System (NextGen) Air Traffic Management project of the Airspace Systems Program. She is a member of the a member of the Discovery and Systems Health (DaSH) and Robust Software Engineering (RSE) groups.

Kristin is a member of Phi Beta Kappa (PBK), the Association for Computing Machinery (ACM), IEEE, the Society for Women Engineers (SWE), and Systers. She also serves on the Intelligent Systems Technical Committee (ISTC) of the American Institute of Aeronautics and Astronautics (AIAA), where she chairs the Publications and Professional Development, Education, and Outreach subcommittees.

Resume

Publications

Software for Benchmarking Model Checkers and LTL Satisfiability Checkers

Software for PANDA (Portfolio Approach to Navigating the Design of Automata)

Software for SystemC Monitors: CHIMP (CHIMP Handles Instrumentation for Monitoring of Properties)