معرفی
Kristin Yvonne Rozier is the Dennis and Rebecca Muilenburg Associate Professor in the Department of Aerospace Engineering and Computer Science at Iowa State University, joining the faculty in Fall 2016 after 14 years as a NASA Research Scientist and a brief tenure at the University of Cincinnati. She is an NSF CAREER Award winner and recipient of the Women in Aerospace Initiative-Inspiration-Impact Award, with affiliations including Associate Fellow of AIAA and Senior Member of IEEE/SWE.
Her educational background includes a PhD from Rice University and MS/BS degrees from the College of William and Mary.
- PhD, Rice University
- MS, College of William and Mary
- BS, College of William and Mary
Rozier's research centers on formal methods for safety-critical systems, specializing in verification and validation techniques for aerospace applications. Her work spans design-time checking of system logic, runtime monitoring, and safety analysis for autonomous systems, with specific focus on Unmanned Aerial Systems (UAS), mission-time linear temporal logic (MLTL), and specification debugging. She develops theoretical frameworks for model checking, property-based design, and linear temporal logic satisfiability, addressing challenges in biomedical privacy, secure protocols, and automated control systems.
Her recent publications (2023-2025) demonstrate a concentrated effort on advancing mission-time logic verification, neurosymbolic AI applications, and hardware-verified runtime monitors. Key themes include MLTL validation through regular expressions, multimodal verification for cyber-physical systems, and practical tool development like R2U2 and MoXI, all targeting real-world deployment in aerospace and autonomous systems where safety guarantees are non-negotiable.
Major recognitions include:
- NSF CAREER Award for theoretical foundations of UAS in the National Airspace
- Women in Aerospace Initiative-Inspiration-Impact Award (2013)
- Distinguished AIAA Award
- Elevation to Associate Fellow of AIAA
As Principal Investigator, she leads significant grants including an ARMD Seedling project for UAS safety management and NSF-funded initiatives like CCRI for open-source model checking and CPS for resource-aware runtime verification. Her NASA work involved critical contributions to NextGen Air Traffic Management and CubeSat health monitoring, with R2U2 deployed on CySat-I and sounding rockets. She actively shapes the field through the NASA Formal Methods Symposium Steering Committee (since 2008) and promotes ethical research dissemination through reproducibility principles.
Rozier directs the R2U2 research group developing runtime verification tools for embedded aerospace systems, with current projects integrating formal methods into UAS traffic management and autonomous space systems. Her team collaborates with NASA centers on safety-critical applications, maintaining strong industry ties through AIAA and IEEE forums while mentoring next-generation researchers in formal methods.
