NASA Logo, National Aeronautics and Space Administration

Kristin Yvonne Rozier, Ph.D.

Work Experience:

Research Scientist - 
NASA Ames Research Center: 09/2008 to present
NASA Langley Research Center: 11/2003 to 09/2008

Job Description:

  • Conduct research projects to develop formal verification methods for the design and analysis of advanced future aircraft and spacecraft computer systems.
  • Develop formal models (models expressed in mathematical logic) of system requirements, algorithms, designs, and implementations.
  • Develop 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.
  • Develop 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.
  • Manage programs associated with these work areas.
  • Serve as civil servant technical expert with specific authority granted by the Contracting Officer to fulfill responsibilities associated with managing research contracts for NASA. These COTR responsibilities include, but are not limited to:
    • Evaluate research proposals
    • Aid in requirements determination
    • Provide technical expertise to selection/award/contract modification process
    • Judge/monitor quality of research deliverables
    • Currently COTR for:
      • 2010-2014 NRA Contract No NNA10DE60C on "Compositional Verification for Flight Critical Systems," awarded to CMU under subtopic B.6 Verification and Validation of Flight Critical Systems (VVFCS1) to the NASA Research Announcement NNH09ZEA001N-VVFCS1
      • SBIR 2011 Phase 1 proposal A1.20-9873 "Emile: The EventML Explorer" Odyssey Research Assoc, Inc. DBA ATC-NY

Computer Science Teaching Assistant -  Rice University
08/2004 to 12/2005
Job Description:

Provide teaching assistance to professors for analysis of algorithms and discrete mathematics courses. Responsibilities include grading work, holding office hours, and providing one-on-one help to students.

Computer Systems Analyst -  Lockheed Martin Space Operations, NASA Langley Research Center
05/2001 to 11/2003
Job Description:

  • Analyze scientific problems for the development of data analysis and database applications for acoustic field and laboratory research.
  • Systems integration architecture and programming for the Tilt-Rotor Aeroacoustics Code (TRAC) system for aeroacoustic flight data prediction, including design of the installation system and human interfacing.
  • Write aerospace engineering data processing and analysis code for acoustic data in a variety of programming languages including C, C++, Perl, Java, shell scripting, Fortran, Matlab.
  • Develop complex algorithms for processing and analysis of Particle Image Velocimetry (PIV) data sets including: center of vorticity, center of swirl, circulation, core size, average flow, and data profiles.
  • Analyze hotwire test data from grid-turbulence tests including mean, standard deviation, turbulence intensity, skewness, kurtosis, and autocorrelation to help develop better techniques for simulation models.
  • Develop algorithms to determine the orientation of a vortex axis and re-orient measured PIV velocity maps via projections using either axial velocity or swirl velocity.
  • Design, develop and maintain a web site and web-accessible database including web-based software for real-time data processing, visualization, and data mining using perl cgi scripting, shell scripting, java scripting, HTML with a focus on software quality, reliability, and maintainability.
  • Software system verification and assessment.
  • CVS repository setup and maintenance.
  • Use NetCDF libraries in Perl and C, Tecplot, Matlab, LaTeX, Gimp, Imagemagik, StarOffice, Xfig, gnuplot.
  • Apache server administrator and webmaster.
  • System administrator for 1 Compaq Alpha, 3 Linux workstations, co-administrator for additional systems. Responsible for system set-up including hardware, software, maintenance, and security.
  • Programming for a range of operating systems including: Linux, Tru-64 Digital Unix, SunOS, Solaris, AIX, IRIX64, HPUX.

Computer Science Laboratory Instructor -  The College of William and Mary
08/2000 to 05/2001
Job Description:

Instruction of Microsoft Windows 2000, Eudora Pro, and the MS Office 2000 application suite, including Word, PowerPoint, Excel, and Access. Gave a weekly presentation on the software the class was expected to learn and then aided students in completing a series of tasks in the Windows environment.

Systems Programmer -  Pragati Synergetic Research, Inc.
05/2000 to 09/2000
Job Description:

Java programmer and designer for the Multi-Viewpoint Clustering Analysis (MVPCA) tool to deliver a version of this GUI expert system for a DARPA contract. Contributions included expanding algorithms for knowledge representation and human computer interaction. Prepared slides, technical documentation, and gave software demonstrations in support of a conference presentation.

Follow-up Manager -  The Apartment Connection
06/1996 to 01/2000
Job Description:

Responsible for managing follow-up (including training and coordinating the efforts of a group of 2-5 people), installation and technical support for both hardware and software (Windows NT server, Microsoft Access and Excel, SQL), Internet advertising, desktop publishing, presentation design, invoicing, researching and revising Washington Welcome magazine.


Rice University,
Houston, TX
Ph.D., Computer Science
advisor: Moshe Y. Vardi

The College of William and Mary,
Williamsburg, Virginia
M.S., Computer Science
advisor: Paul K. Stockmeyer

The College of William and Mary, Magna Cum Laude
Williamsburg, Virginia
B.S., Computer Science

Lake Braddock Secondary School, Valedictorian
Burke, Virginia
Advanced Studies Diploma with Governor's Seal for Academic Excellence


Licenses and Certifications:

NASA COTR (Contracting Officer's Technical Representative) Certification
United States Government Secret Security Clearance (currently inactive)
Brainbench Certification: Linux Administration (General)


Selected publications are listed here.

Honors, Awards, and Special Accomplishments:

  • NASA Group Achievement Award (Prognostics Team) 2014 ``For groundbreaking foundational discoveries in the field of Prognostics and Health Management."
  • Above and Beyond Award (co-recipient as part of NASA Ames) from the Society for Women Engineers, for outstanding dedication and impact in engineering outreach during the year 2013-2014
  • Initiative-Inspiration-Impact Award from Women in Aerospace "For exemplary achievement of formal specification, verification, and validation of a NextGen air traffic control system candidate and for dedication as a mentor and role model." (This prestigious award is presented for an individual in her early career, who consistently surpasses expectations from a technical, interpersonal, and management perspective, commitment to professional growth, and service as a role model or mentor that shows dedication to the advancement of women in aerospace.) 2013
  • Distinguished Service Award from the American Institute of Aeronautics and Astronautics Intelligent Systems Technical Committee "For Significant Contributions to the Activities of the ISTC and AIAA." 2008-2013
  • 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)
  • NASA Group Achievement Award as a member of the TRAC System and Analysis Team (7/12/02)
  • Lockheed Martin Space Operations Lightning Award (10/24/02)
  • Phi Beta Kappa (inducted 05/2000)
  • James Monroe Scholar, College of William and Mary (1996-2000)

Research Funding:

  • [2014] Travel Support Grant, Committee on the Status of Women in Computing Research (CRA-W), $1700
  • [2014] Aeronautics Research Mission Directorate (ARMD) Seedling Fund Phase I Award, ``Intelligent Hardware-Enabled Sensor and Software Safety and Health Management for Autonomous UAS.'' $600K, PI
  • [2008-2014] Team Leader, NASA project "Verification and Validation for Separation Assurance Algorithms" under the Airspace Systems Program


Spoken Languages:

English and French (conversational, not fluent)

First Gov logo
NASA Logo -