People

 

Bio:
Professor Kristin Yvonne Rozier heads the Laboratory for Temporal Logic in Aerospace Engineering at Iowa State University; previously she spent 14 years as a Research Scientist at NASA and three semesters as an Assistant Professor at the University of Cincinnati. She earned her Ph.D. from Rice University and B.S. and M.S. degrees from The College of William and Mary. Dr. Rozier’s research focuses on automated techniques for the formal specification, validation, and verification of safety critical systems. Her primary research interests include: design-time checking of system logic and system requirements; runtime system health management; and safety and security analysis.

 

Postdoctoral Associates

 

 

PhD Students

 

 

Visiting PhD Students

 

 

Masters Students

 

 

Undergraduate Students

 

OpenUAS Project Team

 

 

 

 

 

Alumni