Kristin Yvonne Rozier

Associate Professor, Iowa State University

  • Joined July 2019

Names

Kristin Yvonne Rozier (Preferred)
,
K.Y. Rozier
,
Kristin Y. Rozier

Emails

****@iastate.edu (Confirmed)

Personal Links

Career & Education History

Associate Professor
Iowa State University (iastate.edu)
2021 – Present
 
Assistant Professor
Iowa State University (iastate.edu)
2016 – 2021
 
Assistant Professor
University of Cincinnati (uc.edu)
2014 – 2016
 

Advisors, Relations & Conflicts

PhD Advisor
Present
 

Expertise

formal methods
Present
 
model checking
Present
 
temporal logic
Present
 
runtime verification
Present