Featured Women of NASA LaRC Profile

WON Home

NASA LaRC FWPC

WON Profiles

Reviews

Group Photos

Latina WON

Women of NASA Langley Profiles

Kristin Yvonne Rozier

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 and the Association for Computing Machinery.

MAY 2008

Note: This site's list of Women at NASA Langley is by no means complete. For more information on how you as a NASA LaRC civil servant can participate in this web site or Latina WON, please visit the "WON LaRC Candidates" page. Thank your for your interest!

WON Web Log Created: 28 APRIL 1997 Updated: JAN 2009 Our 12th Anniversary Year!	Point Of Contacts HEP Advisory Group Chair/Webmaster: Debbie Martínez NASA Responsible Official: Janet Sellars FWPC Manager: Venita O. Robinson NASA WWW Privacy Policy