Kristin Yvonne Rozier is an American aerospace engineer and computer scientist whose research investigates formal methods including temporal logic and model checking for the formal verification of safety-critical systems, especially those involving air transport, unmanned aerial vehicles, and air traffic control.
After earning a master's degree there in 2001, supervised by Paul K. Stockmeyer, she went to Rice University for doctoral study in computer science.
[2] She is also active in supporting women from underrepresented groups in STEM through the Jewels Academy, a non-profit organization based in Des Moines, Iowa.
[4] In 2013, the Intelligent Systems Technical Committee of the American Institute of Aeronautics and Astronautics gave Rozier their Distinguished Service Award.
[5] In 2014, Rozier won the inaugural Initiative-Inspiration-Impact Award of Women in Aerospace, "for exemplary achievement of formal specification, verification and validation of a NextGen air traffic control system candidate and for dedication as a mentor and role model".