Kristin-Yvonne Rozier

Kristin-Yvonne Rozier is a Dennis and Rebecca Muilenburg Associate Professor in the Department of Aerospace Engineering and a Graduate Faculty member in Computer Science at Iowa State University. She holds positions as a Senior Member of IEEE and SWE, and an Associate Fellow of AIAA. Her research focuses on formal methods, verification of safety-critical systems, and autonomous systems, with applications in aerospace and cyber-physical systems.

She earned a Ph.D. in Computer Science from Rice University and degrees from the College of William and Mary. Previously, she worked at NASA for 14 years in roles spanning formal methods, aeroacoustics, and systems health management.

Her research interests include runtime verification, temporal logic (especially MLTL), fault tolerance, and safety-critical systems design. Notable awards include the NSF CAREER Award and the Women in Aerospace Initiative-Inspiration-Impact Award.

Rozier has published extensively on topics like MLTL multi-type logics, SysML translation for verification, and safety-critical UAS systems. She leads projects such as OpenUAS and has developed tools like R2U2 for runtime monitoring. Her work bridges theory and practice, emphasizing reproducibility and ethical research dissemination.

Grants and collaborations include NSF projects on resource-aware verification and open-source model-checking frameworks. She advises on system health management, autonomous systems, and formal methods education.