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)
Software for Benchmarking Model Checkers
Research Computer Scientist
Intelligent Systems Division
Ames Research Center
Mail Stop: 269-1
Moffett Field, CA 94035
Phone: (650) 604-3197
Fax: (650) 604-3594
Email:
Kristin.Y.Rozier "at" nasa.gov
Linked In: http://www.linkedin.com/in/kristinyvonnerozier