(pronounced “Rose” + “E” + “A”)
NSF CAREER Award winner and recipient of the Inaugural Initiative-Inspiration-Impact Award from Women in Aerospace, Kristin Yvonne Rozier joined the faculty of the Aerospace Engineering and Computer Science Departments in Fall, 2016. Previous to that, she spent three semesters at the University of Cincinnati (2015-2016) and 14 years as a Research Scientist at NASA, holding civil service positions at NASA Ames Research Center (2008-2014) and NASA Langley Research Center (2001-2008).
Rozier earned her PhD Rice University and MS and BS degrees from the College of William and Mary. During her tenure at NASA, she contributed research to the Aeroacoustics, and Safety-Critial Avionics groups at NASA Langley and to the Robust Software Engineering, and Discovery and Systems Health groups in the Intelligent Systems Division at NASA Ames. She has served on the NASA Formal Methods Symposium Steering Committee since working to found that conference in 2008.
Most recently, Rozier was a primary contributing researcher to the Next Generation Air Transportation System (NextGen) Air Traffic Management project of the Airspace Systems Program at NASA. She also served as Principal Investigator of an ARMD Seedling project advancing System and Safety Health Management for Unmanned Aerial Systems (UAS). Select the following link for Roziers NASA Ames presentation: “Dr. Kristin Yvonne Rozier – No More Helicopter Parenting: Intelligent, Autonomous UAS.” Rozier is an Associate Fellow of AIAA and a Senior Member of IEEE and SWE.
Research Interests
- Formal methods, verification and validation of safety-critical systems.
- Design-time checking of system logic and system requirements with applications in aerospace systems, automated control, biomedical privacy, secure protocols.
- System and safety health management for intelligent, autonomous Unmanned Aerial Systems.
- Model checking, property-based design, model-based design.
- Linear Temporal Logic satisflability checking, specification debugging techniques and theory.
- Automated reasoning, runtime monitoring, fault tolerance and safety analysis.
Dr. Rozier has been featured in several news articles:
- NASA 2014 Director’s Colloquium Summer Series “Dr. Kristin Yvonne Rozier – No More Helicopter Parenting: Intelligent, Autonomous UAS” on the NASA Ames YouTube Channel, June 10, 2014
- “Kristin Yvonne Rozier wins Women in Aerospace award”, NASA Astrogram, April, 2014
- CRA-W Winter/Spring 2014 Newsletter “Alum News: Kristin Rozier”
- “NASA Leaders Recognized by Women in Aerospace” http://women.nasa.gov/wiaawards/ (also at Rice University)
- “Women In Aerospace: Nine Women You Should Know Honored With 2013 Awards”
- “Women In Aerospace Honors Nine Exceptional Women with its 2013 Awards” http://www.womeninaerospace.org/news/09-19-2013_1.html (also here); Photographs posted here
- “Rozier receives distinguished AIAA award” NASA Astrogram, September, 2013
- “Women and the Flat Connected World!” (also more here)
Previously, Dr. Rozier spent 14 years at NASA. She was a member of the Intelligent Systems Division and had affiliations with the Discovery and Systems Health (DaSH) and Robust Software Engineering (RSE) groups at NASA Ames Research Center and was affiliated with the Formal Methods and Aeroacoustics Research Groups at NASA Langley Research Center.
Conference Organizations, Memberships, and Service
Software for PANDA (Portfolio Approach to Navigating the Design of Automata)
Software for SystemC Monitors: CHIMP (CHIMP Handles Instrumentation for Monitoring of Properties)
Rozier means “one who dwells amongst the roses.” Here is NASA’s rose.
NASA Vision Statement “To reach for new heights and reveal the unknown, so that what we do and learn will benefit all humankind.”
NASA Mission Statement “Drive advances in science, technology, and exploration to enhance knowledge, education, innovation, economic vitality, and stewardship of the Earth.”