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

• "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, 2009: core organizational team member, NASA Formal Methods Symposium (NFM 2009), Mountain View, CA, USA.
• May 17, 2008: co-chair 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

• 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

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

• 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)