Kristin Yvonne Rozier

Current

• Research Computer Scientist at NASA Ames Research Center

Past

• Research Computer Scientist at NASA Langley Research Center
• Research Assistant/Teaching Assistant at Rice University
• Computer Systems Analyst at Lockheed Martin Space Systems Company

• Systems Programmer at Pragati Synergetic Research, Inc.

see less...

1 more...

Education

• Rice University
• University of Cambridge
• Lipari Summer School on Formal Methods: Theory and Practice

• Marktoberdorf formal methods school on Logical Aspects of Secure Computer Systems
• College of William and Mary
• College of William and Mary
• College of William and Mary

see less...

4 more...

Recommended

1 person has recommended Kristin Yvonne

Connections

75 connections

Industry

Research

Websites

• My Website

Kristin Yvonne Rozier’s Summary

*Conducts research projects to develop formal verification methods for the design and analysis of advanced future aircraft and spacecraft computer systems.
* Develops formal models (models expressed in mathematical logic) of system requirements, algorithms, designs, and implementations.
* Develops formal mathematical proofs that system requirements, designs and/or implementations satisfy their safety and performance requirements using theorem proving, model checking and other techniques of automated reasoning and deduction.
* Develops methods, tools, and approaches to make the formal verification process practical, efficient, and cost effective utilizing expertise in formal methods, mathematical logic, software safety, and software engineering. The problem domains under investigation include air traffic management, fault-tolerance, real-time operating systems, and avionics.
* Manages programs associated with these work areas.

Kristin Yvonne Rozier’s Specialties:

Theoretical computer science including model checking, theory of computation, finite automata, theorem proving, mathematical logic, automated reasoning, and algorithms.

Kristin Yvonne Rozier’s Experience

• Research Computer Scientist

  NASA Ames Research Center

  (Government Agency; Defense & Space industry)

  September 2008 — Present (1 year 3 months)

• Research Computer Scientist

  NASA Langley Research Center

  (Government Agency; 10,001 or more employees; Aviation & Aerospace industry)

  November 2003 — September 2008 (4 years 11 months)

• Research Assistant/Teaching Assistant

  Rice University

  (Educational Institution; 1001-5000 employees; Higher Education industry)

  August 2004 — December 2005 (1 year 5 months)

• Computer Systems Analyst

  Lockheed Martin Space Systems Company

  (Public Company; 10,001 or more employees; LMT; Defense & Space industry)

  May 2001 — November 2003 (2 years 7 months)

• Systems Programmer

  Pragati Synergetic Research, Inc.

  (Public Company; 1-10 employees; Research industry)

  May 2000 — September 2000 (5 months)

Kristin Yvonne Rozier’s Education

• Rice University

  2004 — 2010 (expected)

• University of Cambridge

  unclassified , Programme on Logic and Algorithms , 2006 — 2006

  Activities and Societies:

  Pembroke College, ARG (Automated Reasoning Group), CUTAZZ (Cambridge University Tap and Jazz Association), GDS (Graduate Dining Society), CTC (Cyclists Touring Club)

• Lipari Summer School on Formal Methods: Theory and Practice

  2005 — 2005

• Marktoberdorf formal methods school on Logical Aspects of Secure Computer Systems

  2005 — 2005

• College of William and Mary

  unclassified , Computer Science/Physics , 2001 — 2003

• College of William and Mary

  MS , Computer Science , 1999 — 2001

• College of William and Mary

  BS , Computer Science , 1996 — 2000

  Activities and Societies:

  Magna Cum Laude, Phi Beta Kappa, James Monroe Scholar, Model UN: * Best Delegate (first place), Harvard World Model United Nations 2000 * second place, Harvard World MUN 1999 * second place, McGill University MUN 1999 * second place, McGill University MUN 1997

Additional Information

Kristin Yvonne Rozier’s Websites:

• My Website

Kristin Yvonne Rozier’s Interests:

Ballet, tap, jazz, Irish, and ballroom dancing: taking class, teaching class, watching performances, performing, choreography, etc. Cycling: touring and long-distance. Iyengar yoga. Good science fiction.

Kristin Yvonne Rozier’s Groups:

advisor/student, Cambridge University Automated Reasoning Group (ARG), The College of William and Mary, MAGIC

•    The Official IEEE Group
•    Society of Women Engineers
•    College of William and Mary Alumni Network
•    NASA
•    ACM Members
•    Computing Research Association
•    The Official American Institute of Aeronautics and Astronautics (AIAA)
•    Association for Women in Science (AWIS)
•    Software Development with Formal Methods
•    Spacecraft Flight Software
•    National Center for Women & Information Technology
•    Software Model Checking
•    BCS-FACS

Kristin Yvonne Rozier’s Honors:

At NASA:

* 2002 Howard Hughes Award from the American Helicopter Society for contributions to the automation, capability for version control, and flight data organization for validation of the NASA TiltRotor Aeroacoustics Code (TRAC) as a part of the development team (6/12/02)
* 2002 NASA Group Achievement Award as a member of the TRAC System and Analysis Team (7/12/02).
* Lockheed Martin Space Operations Lightening Award (10/24/02)

Selected awards won during university studies:

* James Monroe Scholar of the College of William and Mary
* Phi Beta Kappa
* Best Delegate (first place), Harvard World Model United Nations 2000
* second place, Harvard World MUN 1999
* second place, McGill University MUN 1999
* second place, McGill University MUN 1997

Kristin Yvonne Rozier’s Contact Settings

Interested In:

• career opportunities
• consulting offers
• new ventures
• job inquiries
• expertise requests
• reference requests
• getting back in touch