Kristin Yvonne Rozier (Preferred)
K.Y. Rozier
Kristin Y. Rozier
Kristin Yvonne Rozier
Associate Professor, Iowa State University
Joined
July 2019
Names
,
,
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
Expertise
formal methods
Present
model checking
Present
temporal logic
Present
runtime verification
Present
Publications
Co-Authors
- A. E. Rosentrater
- Ahmed Irfan
- Alberto Griggio
- Alec Rosentrater
- Alessandro Cimatti
- Alexis A. Aurandt
- Alexis Aurandt
- Augusto Sampaio
- Benjamin Hertz
- Bernd-Holger Schlingloff
- Brian Kempa
- Cesare Tinelli
- Chiara Travesset
- Chris Johannsen
- Christopher Johannsen
- Cristian Mattarei
- Cristina Seceleanu
- Dae Young Lee
- Dae-Young Lee
- Elizabeth Sloan
- Ellen Enkel
- Eric William Davis Rozier
- Frank Montabon
- Geguang Pu
- Giles Reger