Kristin Yvonne Rozier
id:
kristin-yvonne-rozier-271-1499317
title:
Kristin Yvonne Rozier
text:
Kristin Yvonne Rozier is an American aerospace engineer and computer scientist whose research investigates formal methods including temporal logic and model checking for the formal verification of safety-critical systems, especially those involving air transport, unmanned aerial vehicles, and air traffic control. She is Black & Veatch Associate Professor of Aerospace Engineering, Computer Science, Electrical and Computer Engineering, and Mathematics at Iowa State University, where she heads the
brand slug:
wiki
category slug:
encyclopedia
description:
American computer scientist and aerospace engineer
original url:
https://en.wikipedia.org/wiki/Kristin_Yvonne_Rozier
date created:
date modified:
2023-11-18T17:56:07Z
main entity:
{"identifier":"Q103024869","url":"https://www.wikidata.org/entity/Q103024869"}
image:
fields total:
13
integrity:
14