NASA Langley Formal Methods



quick page






  home > team > civil servants > kyr

Kristin Yvonne Rozier

Selected Publications

  1. Rozier, Kristin Y., ed.: Proceedings of the Sixth NASA Langley Formal Methods Workshop (LFM 2008), NASA/CP-2008-215309, May 2008. PDF BibTeX
  2. Rozier, Kristin Y., and Vardi, Moshe Y. "LTL Satisfiability Checking." In 14th Workshop on Model Checking Software (SPIN '07), volume 4595 of Lecture Notes in Computer Science (LNCS), pages 149-167. Springer-Verlag, 2007. PS PDF (original LNCS publication: PDF) BibTeX
  3. Burley, Casey L., Brooks, Thomas F., Rozier, Kristin Y., et al. "Rotor wake vortex definition evaluation of 3-C PIV results of the HART-II study," International Journal of Aeroacoustics, volume 5, pages 1-38, January 2006. PDF BibTeX

Technical Presentations

Conference Organizations

Women in Computer Science Conferences


Kristin is proud to have contributed useful comments to the following publications:
  1. Vardi, Moshe Y. "Automata-Theoretic Model Checking Revisited." In Proc. 7th Int'l Conf. on Verification, Model Checking, and Abstract Interpretation, volume 4349 of Lecture Notes in Computer Science (LNCS), pages 137-150. Springer-Verlag, 2007. BibTeX
  2. Vardi, Moshe Y. "From Church and Prior to PSL." In Proceedings of Workshop on 25 Years of Model Checking, Federated Logic Conference, Seattle, Washington. August 16, 2006. BibTeX
  3. Lawrence M. Leemis and Stephen K. Park, Discrete-Event Simulation: A First Course, Prentice-Hall, Inc.,Upper Saddle River, NJ, USA, 2005. (ISBN 0131429175). BibTeX
  4. Lee Pike, Jeffrey Maddalon, Paul Miner, Alfons Geser, "Abstractions for Fault-Tolerant Distributed System Verification." In Proc. Theorem Proving in Higher Order Logics (TPHOLs), volume 3223 of Lecture Notes in Computer Science (LNCS), pages 257-270. Springer-Verlag, 2004. BibTeX

Professional Service

Kristin regularly contributes to the numerous outreach and volunteer programs sponsored by or associated with NASA and the local scientific community.
  • NASA representative, Smithsonian Folklife Festival, Washington, DC (7/3/08)
  • AIAA Intelligent Systems Technical Committee (ISTC) Professional Development & Outreach Subcommittee (6/2008 - present)
  • Virginia Junior Academy of Science (VJAS) Computer Science Judge (5/21/08)
  • Gildersleeve Science Fair Judge (12/13/07)
  • MAGIC (More Active Girls In Computing) core team member/mentor (10/07-present)
  • NASA Exhibition Trailer staff at Air Power Over Hampton Roads, Langley AFB (4/28/07)
  • NASA representative at the Virginia Air and Space Center SpaceQuest Opening (4/21/07)
  • eCYBERMISSION Judge (3/07)
  • CHROME Club Speaker at Jones Middle School (2/12/07), Eaton Middle School (6/07/07)
  • York County Regional Science Fair Judge at Bruton High School (1/31/07), Grafton High (1/31/08)
  • River Oaks Baptist School of Houston Science Fair Judge (11/17/05)
  • Workshop Leader and Speaker: "Just Plane Wings," Girl Scout Day (a day for Brownie Girl Scouts to learn about science), Rice University (11/12/05)
  • Tidewater Regional Science Fair Judge (3/20/04, 3/08/08)
  • Menchville High School Science Fair Judge (12/09/03, 12/11/06, 12/06/07)
  • National Space Day presenter, McIntosh Elementary (5/1/03)
  • Newport News All City Science Fair Computer Science Judge (1/25/03, 1/31/04, 1/20/07, 1/12/08)
  • Dozier Middle School Science Fair Engineering Judge (12/5/02)
  • New Horizons Governor's School for Science and Technology presentation observer (5/2/02) and judge (5/2/03, 4/29/04)
  • Virginia State Science and Engineering Fair Computer Science Judge, Randolph-Macon College (4/13/02, 4/5/03), George Mason University (CS Chair: 4/12/08)
  • NASA "Careers in Aerospace" Speaker: Dozier Middle School (4/11/02), Hines Middle School (3/13/03), Jones Magnet School (twice: 4/8/04), Reservoir Middle School (3/13/07)
  • Gloucester High School Senior Project advisor (2001-2)


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