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." In14th Workshop on Model Checking Software (SPIN '07), volume 4595 ofLecture 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

• "Formal Methods Explained," University of Nevada at Reno Computer Science & Engineering Colloquium Series, Reno, Nevada, October 29, 2009.
• "Formal Methods for NGATS System Verification Explained," NGATS Airspace AFT Seminar, NASA Ames Research Center, October 26, 2009. (A = Aeronautics Directorate; F = Aviation Systems Division; T = Flight Trajectory Dynamics and Controls Branch)
• "Solving the Two Body Problem," Panel with Katy Dickinson (Sun Microsystems), Amarda Shehu (George Mason University), Evgenia Smirni (College of William and Mary). Grace Hopper Celebration (GHC) of Women in Computing Conference, Tucson, Arizona, September 30-October 3, 2009. (Presentation 1:45PM - 2:45PM on Oct. 2.)
• "Women and the Flat Connected World," Panel with Meenakshi Kaul-Basu (Sun Microsystems), Bev Crair (Quantum Corporation), Claudia Galván (Microsoft Corporation), Lydia Ash (Google), Radha Ratnaparkhi (IBM), Sumitha Prashanth (Sun Microsystems). Grace Hopper Celebration (GHC) of Women in Computing Conference, Tucson, Arizona, September 29-October 3, 2009. (Presentation 11:15AM - 12:15PM on Oct. 1.)
• "MAGIC: Setting Up An Effective Organization To Support Girls," Birds of a Feather (BOF) with Ira Pramanick, Fauzia Saeed, Katy Dickinson, Meenakshi Kaul-Basu, and Robin Wilensky. Grace Hopper Celebration (GHC) of Women in Computing Conference, Keystone Resort, Colorado, October 1-4, 2008. (Presentation 5:10PM - 6:10PM on Oct. 3.)
• "Choosing Your Building Bricks: How to Find Your Research Direction," Presentation with Kristen R. Walcott and Katie Panciera. Grace Hopper Celebration (GHC) of Women in Computing Conference, Keystone Resort, Colorado, October 1-4, 2008. (Presentation 2:50PM - 3:50PM on Oct. 3.)
• "On Formal Methods." Longwood University Mathematics & Computer Science Colloquium Series, Farmville, Virginia, September 4, 2008.
• "Life-Critical System Verification." Visions for Theoretical Computer Science Workshop (TCS Visions), Seattle, Washington, May 17, 2008. Contributed to several nuggets; see Life-Critical System Verification in particular.
• "Career Life Balance." Committee on the Status of Women in Computing Research (CRA-W) 2008 Grad Cohort Program for Women, Seattle, WA, March 13-14, 2008.
• "Symbolic LTL Compilation for Model Checking." Grace Hopper Celebration (GHC) of Women in Computing Conference, Orlando, Florida, October 17-20, 2007. Extended Abstract/PDF
• NGATS Airspace API/Researcher Meeting Featured Presentation, NASA Langley Research Center, June 27, 2007.
• Safety Critical Avionics Systems Branch Talk, NASA Langley Research Center, September 20, 2006.
• "Algorithms for Automata-Theoretic Linear Temporal Logic Model Checking." Games and Verification (GAMES 2006), July 3-7, 2006.
• Cambridge University Automated Reasoning Group(ARG) Lunch Lecture Series talk on "Algorithms for Automata-Theoretic LTL Model Checking." June 28, 2006.
• Safety Critical Avionics Systems Branch Talk, NASA Langley Research Center, June 6, 2005.
• "Hypatheon Group Report," Assessment Technology Branch Talk, NASA Langley Research Center, July, 2004.

Conference Organizations

• April 20-22, 2010: Program Co-chair (with Stephen A. Jacklin) Verification and Validation of Aerospace Systems Focused Session, AIAA Infotech@Aerospace, Atlanta, Georgia, USA.
• April 13 - 15, 2010: Organizing Committee, Program Committee, The Second NASA Formal Methods Symposium (NFM 2010), Washington, DC, USA.
• April 6 - 8, 2009: Organizing Committee, Program Committee, The First NASA Formal Methods Symposium (NFM 2009), Moffett Field, CA, USA.
• May 17, 2008: Co-chair (with Amit Sahai) of the breakout group on Security, Privacy, and Reliability at the Visions for Theoretical Computer Science (TCS) Workshop, Seattle, Washington, USA.
• April 30-May 2, 2008: General Chair, The Sixth NASA Langley Formal Methods Workshop (LFM 2008), Newport News, VA, USA.

Women in Computer Science Conferences

• 9th Grace Hopper Celebration (GHC) of Women in Computing Conference, Tucson, Arizona, September 30-October 3, 2009.
• 8th Grace Hopper Celebration (GHC) of Women in Computing Conference, Keystone Resort, Colorado, October 1-4, 2008.
• Committee on the Status of Women in Computing Research (CRA-W) 2008 Grad Cohort Program for Women, Seattle, WA, March 13-14, 2008.
• 7th Grace Hopper Celebration (GHC) of Women in Computing Conference, Orlando, Florida, October 17-20, 2007.
• Committee on the Status of Women in Computing Research (CRA-W) 2007 Grad Cohort Program for Women, San Francisco, California, March 2-3, 2007.
• 6th Grace Hopper Celebration (GHC) of Women in Computing Conference, San Diego, California, October 4-7, 2006.
• WWW2006 BCSWomen and Women@CL Career Development Workshop 2006, Edinburgh, Scotland, May 22nd 2006.
• Committee on the Status of Women in Computing Research (CRA-W) 2005 Grad Cohort Program for Women, San Francisco, California, February 25-26, 2005.

Acknowledgments

Kristin is proud to have contributed useful comments to the following publications:

1. Vardi, Moshe Y. "Automata-Theoretic Model Checking Revisited." InProc. 7th Int'l Conf. on Verification, Model Checking, and Abstract Interpretation, volume 4349 ofLecture Notes in Computer Science (LNCS), pages 137-150. Springer-Verlag, 2007. BibTeX
2. Vardi, Moshe Y. "From Church and Prior to PSL." InProceedings 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." InProc. Theorem Proving in Higher Order Logics (TPHOLs), volume 3223 ofLecture 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 Event Staff, 35th Annual Sunnyvale Art and Wine Festival (6/6/2009)
• Intel International Science and Engineering Fair 2009 Judge, Reno, Nevada (5/12-13/2009)
• 16th Annual NASA Ames Student Space Settlement Design Contest Judge (4/16/09)
• AIAA/NASA Ames Research Center High School Scholarship Evaluator (4/2009)
• Santa Clara Valley Science and Engineering Fair Synopsys Championship Judge (3/18/09)
• Girls Achieving in Non-traditional Subjects (GAINS) "Lunch with a NASA Scientist" (2/17/09)
• NASA Combined Federal Campaign (CFC) key worker 2008
• NASA Event Staff, Airship Ventures Dedication/Moffett 75th Diamond Jubilee Ceremony, Moffett Field, CA (11/21/2008)
• NASA representative, Smithsonian Folklife Festival, Washington, DC (7/3/2008)
• AIAA Intelligent Systems Technical Committee (ISTC) Professional Development & Outreach Subcommittee (member: 6/2008 - present; chair: 7/2009-present)
• Virginia Junior Academy of Science (VJAS) Computer Science Judge (5/21/2008)
• Gildersleeve Science Fair Judge (12/13/2007)
• MAGIC (More Active Girls In Computing) core team member/mentor (10/2007-present)
• NASA Exhibition Trailer staff at Air Power Over Hampton Roads, Langley AFB (4/28/2007)
• NASA representative at the Virginia Air and Space Center SpaceQuest Opening (4/21/2007)
• eCYBERMISSION Judge (3/2007)
• CHROME Club Speaker at Jones Middle School (2/12/2007), Eaton Middle School (6/07/2007)
• York County Regional Science Fair Judge at Bruton High School (1/31/2007), Grafton High (1/31/2008)
• River Oaks Baptist School of Houston Science Fair Judge (11/17/2005)
• Workshop Leader and Speaker: "Just Plane Wings," Girl Scout Day (a day for Brownie Girl Scouts to learn about science), Rice University (11/12/2005)
• Tidewater Regional Science Fair Judge (3/20/2004, 3/08/2008)
• Menchville High School Science Fair Judge (12/09/2003, 12/11/2006, 12/06/2007)
• National Space Day presenter, McIntosh Elementary (5/1/2003)
• Newport News All City Science Fair Computer Science Judge (1/25/2003, 1/31/2004, 1/20/2007, 1/12/2008)
• Dozier Middle School Science Fair Engineering Judge (12/5/2002)
• New Horizons Governor's School for Science and Technology presentation observer (5/2/2002) and judge (5/2/2003, 4/29/2004)
• Virginia State Science and Engineering Fair Computer Science Judge, Randolph-Macon College (4/13/2002, 4/5/2003), George Mason University (CS Chair: 4/12/2008)
• NASA "Careers in Aerospace" Speaker: Dozier Middle School (4/11/2002), Hines Middle School (3/13/03), Jones Magnet School (twice: 4/8/2004), Reservoir Middle School (3/13/2007)
• Gloucester High School Senior Project advisor (2001-2)