Kristin Yvonne Rozier Kristin.Y.Rozier_DELETE_THIS_@nasa.gov +1 757 864 2169

Kristin has been a member of the 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 contributing research to two major programs at NASA: the Next Generation Air Transportation System (NGATS) Air Traffic Management project of the Airspace Systems Program and the Integrated Vehicle Health Management (IVHM) 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, the Association for Computing Machinery (ACM), and IEEE. She also serves on the Intelligent Systems Technical Committee (ISTC) of the American Institute of Aeronautics and Astronautics (AIAA)

Kristin is also one of the current organizers of déjeuner français, the NASA LaRC French-speaking lunch. This group meets for lunch on Thursdays in the cafeteria and its members range in language ability from student to native speakers. Please call or send an email if you would like to join in and practice your French!

Office

Bldg 1220, Rm 129

Postal

NASA Langley Research Center

Mail Stop 130

Hampton, VA 23681

USA

Fax

757-864-4234

Linked In

http://www.linkedin.com/in/kristinyvonnerozier

Resume

Publications

Software for Benchmarking Model Checkers