Kristin Yvonne Rozier

Kristin has been a member of the RSE group 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 in theoretical computer science include model checking, automata theory, mathematical logic, automated reasoning, theory of computation, theorem proving, and algorithms.

Currently, Kristin is contributing research to the Next Generation Air Transportation System (NextGen) Air Traffic Management project of the Airspace Systems Program.

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

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

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