NASA Logo, National Aeronautics and Space Administration
Intelligent Systems Division Banner

Dr. Kristin Yvonne Rozier Named AIAA Associate Fellow

According to the award citation, “AIAA Associate Fellows are individuals of distinction who have made notable and valuable contributions to the arts, sciences, or technology of aeronautics or astronautics. Each year, only one for every 150 voting members are selected and approved. It is quite an honor!” To be selected for the grade of Associate Fellow an individual must be an AIAA Senior Member with at least twelve years professional experience, and be recommended by a minimum of three current Associate Fellows based on overall achievements and a significant body of work.

Dr. Rozier's research focuses on automated techniques for the formal specification, validation, and verification of safety critical systems. She currently leads two projects at NASA Ames. She is the lead for the AG-4 (Air-Ground #4) project on Formal Methods for analysing safety for Functional Allocation of the Automated Airspace Concept. She is also PI of an ARMD Seedling grant entitled “Intelligent Hardware-Enabled Sensor and Software Safety and Health Management for Autonomous UAS.”

BACKGROUND: Dr. Rozier’s advances in computation for the aerospace domain earned her the American Helicopter Society's Howard Hughes Award, the American Institute of Aeronautics and Astronautics Intelligent Systems Distinguished Service Award, and the Women in Aerospace Inaugural Initiative-Inspiration-Impact Award. She has also earned the Lockheed Martin Space Operations Lightning Award, the NASA Group Achievement Award, the SWE Above and Beyond Award, and Senior Membership to IEEE and SWE. Dr. Rozier serves on the AIAA Intelligent Systems Technical Committee, where she chairs both the Publications and the Professional Development, Education, and Outreach subcommittees. She has served on the NASA Formal Methods Symposium Steering Committee since working to found that conference in 2008 and served as PC chair for the second time this year.

NASA PROGRAM FUNDING: SMART-NAS Functional Allocation, Airspace Operations and Safety Program (AOSP), Aeronautics Research Mission Directorate (ARMD)

Contact: Kristin Y. Rozier,

First Gov logo
NASA Logo -