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, theory of computation, finite automata, theorem proving, mathematical logic, automated reasoning, and algorithms.

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

Kristin is also currently working on her Ph.D. in Computer Science, at Rice University under the advisement of Dr. Moshe Y. Vardi.

In the past, Kristin has been involved with the Hypatheon project, a database of deductive knowledge which is currently internal to NASA Langley. She has contributed to the NASA Langley PVS Libraries.

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)

Resume

Publications

Software for Benchmarking Model Checkers