Intelligent Systems Division

Kristin Yvonne Rozier

Work Experience:

Research Computer Scientist - NASA Langley Research Center
11/2003to 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/2004to 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/2001to 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/2000to 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/2000to 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/1996to 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.

Education:

Rice University,
Houston, TX
Ph.D., Computer Science

(in progress)
advisor: Moshe Y. Vardi
08/2004-present

Cambridge University,
Cambridge, UK
Unclassified Graduate Student, Pembroke College
01/2006-07/2006

The College of William and Mary,
Williamsburg, Virginia
Unclassified Graduate Student, Computer Science/Physics
08/2001-12/2003

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

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

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

Training:

Attended the 2006 Federated Logic Conference (FLoC), including the 25 Years of Model Checking (25MC) Workshop and the Computer Aided Verification (CAV) Conference
Long-term participant in the Programme on Logic and Algorithms at the Isaac Newton Institute for Mathematical Sciences (INI) at Cambridge University (01/06 - 07/06)
Marktoberdorf formal methods school on Logical Aspects of Secure Computer Systems (8/2-14/05)
Lipari School on Formal Methods: Theory and Practice (7/10-23/05)
Third NASA-Goddard/IEEE International Workshop on Formal Approaches to Agent-Based Systems (FAABS III), Goddard Space Flight Center, Greenbelt, Maryland, USA (4/26-27/04)
NASA Formal Methods Workshop (10/22-23/03)
Advanced Programming Techniques in Matlab (6/18/03)
Matlab Fundamentals and Programming Techniques (6/10-14/03)
NASA Airframe Noise Workshop (10/22-23/02)
NASA Engineering Training (NET) Aeronautics Workshop (6/10-13/02)

Licenses and Certifications:

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

Publications:

Selected publications are listed here

Honors, Awards, and Special Accomplishments:

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: