Skip past navigation NASA Langley Formal Methods


home

welcome

quick page

philosophy

team

research

quote

links

new?
  home > team > civil servants > kyr

Kristin Yvonne Rozier

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

 

   
home | welcome | quick page | philosophy | team | research | quote | links | new?
Curator and Responsible NASA Official: Kristin Y. Rozier
LaRC privacy statement