Kristin Yvonne Rozier

Work Experience:

Research Computer Scientist -  NASA Langley Research Center
11/2003 to present

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.

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 (in progress)
advisor: Moshe Y. Vardi

Cambridge University,
Cambridge, UK
Unclassified Graduate Student, Pembroke College

The College of William and Mary,
Williamsburg, Virginia
Unclassified Graduate Student, Computer Science/Physics

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:

United States Government Secret Security Clearance
Brainbench Certification: Linux Administration (General)


Selected publications are listed here

Honors, Awards, and Special Accomplishments:


Selected awards won during university studies:


Spoken Languages:

English and French (conversational, not fluent)


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