civil servants >
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
Systems Program and the Integrated
Vehicle Health Management (IVHM) Program.
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!
home | welcome | quick page | philosophy | team | research | quote | links | new?
Curator and Responsible NASA Official: Kristin Y. Rozier
LaRC privacy statement