Kristin Yvonne Rozier is an American

aerospace engineer Aerospace engineering is the primary field of engineering concerned with the development of aircraft and spacecraft. It has two major and overlapping branches: aeronautical engineering and astronautical engineering. Avionics engineering is si ...

and

computer scientist A computer scientist is a person who is trained in the academic study of computer science. Computer scientists typically work on the theoretical side of computation, as opposed to the hardware side on which computer engineers mainly focus (al ...

whose research investigates

formal methods In computer science, formal methods are mathematically rigorous techniques for the specification, development, and verification of software and hardware systems. The use of formal methods for software and hardware design is motivated by the expec ...

including

temporal logic In logic, temporal logic is any system of rules and symbolism for representing, and reasoning about, propositions qualified in terms of time (for example, "I am ''always'' hungry", "I will ''eventually'' be hungry", or "I will be hungry ''until'' I ...

and

model checking In computer science, model checking or property checking is a method for checking whether a finite-state model of a system meets a given specification (also known as correctness). This is typically associated with hardware or software systems ...

for the

formal verification In the context of hardware and software systems, formal verification is the act of proving or disproving the correctness of intended algorithms underlying a system with respect to a certain formal specification or property, using formal metho ...

safety-critical system A safety-critical system (SCS) or life-critical system is a system whose failure or malfunction may result in one (or more) of the following outcomes: * death or serious injury to people * loss or severe damage to equipment/property * environme ...

s, especially those involving air transport,

unmanned aerial vehicle An unmanned aerial vehicle (UAV), commonly known as a drone, is an aircraft without any human pilot, crew, or passengers on board. UAVs are a component of an unmanned aircraft system (UAS), which includes adding a ground-based controller ...

s, and

air traffic control Air traffic control (ATC) is a service provided by ground-based air traffic controllers who direct aircraft on the ground and through a given section of controlled airspace, and can provide advisory services to aircraft in non-controlled airs ...

. She is Black & Veatch Associate Professor of Aerospace Engineering, Computer Science, Electrical and Computer Engineering, and Mathematics at

Iowa State University Iowa State University of Science and Technology (Iowa State University, Iowa State, or ISU) is a public land-grant research university in Ames, Iowa. Founded in 1858 as the Iowa Agricultural College and Model Farm, Iowa State became one of the n ...

, where she heads the Laboratory for Temporal Logic.

Education and career

Rozier studied computer science at the

College of William & Mary The College of William & Mary (officially The College of William and Mary in Virginia, abbreviated as William & Mary, W&M) is a public research university in Williamsburg, Virginia. Founded in 1693 by letters patent issued by King William III ...

, graduating in 2000. After earning a master's degree there in 2001, supervised by Paul K. Stockmeyer, she went to

Rice University William Marsh Rice University (Rice University) is a Private university, private research university in Houston, Houston, Texas. It is on a 300-acre campus near the Houston Museum District and adjacent to the Texas Medical Center. Rice is ranke ...

for doctoral study in computer science. She completed her Ph.D. in 2012, with the dissertation ''Explicit or Symbolic Translation of Linear Temporal Logic to Automata''. Her

doctoral advisor A doctoral advisor (also dissertation director, dissertation advisor; or doctoral supervisor) is a member of a university faculty whose role is to guide graduate students who are candidates for a doctorate, helping them select coursework, as well ...

was

Moshe Vardi , honorific_suffix = , image = Moshe Vardi IMG 0010.jpg , birth_date = , birth_place = Israel , workplaces = Rice UniversityIBM ResearchStanford University , alma_mater = , thesis_title = The I ...

, with Stockmeyer as co-advisor. She joined the

NASA The National Aeronautics and Space Administration (NASA ) is an independent agency of the US federal government responsible for the civil space program, aeronautics research, and space research. NASA was established in 1958, succeeding t ...

Langley Research Center The Langley Research Center (LaRC or NASA Langley), located in Hampton, Virginia, United States of America, is the oldest of NASA's field centers. It directly borders Langley Air Force Base and the Back River on the Chesapeake Bay. LaRC has fo ...

as a research scientist in 2003, and moved to the

Ames Research Center The Ames Research Center (ARC), also known as NASA Ames, is a major NASA research center at Moffett Federal Airfield in California's Silicon Valley. It was founded in 1939 as the second National Advisory Committee for Aeronautics (NACA) laborat ...

in 2008. In 2015 she became an assistant professor of aerospace engineering and engineering mechanics at the

University of Cincinnati The University of Cincinnati (UC or Cincinnati) is a public research university in Cincinnati, Ohio. Founded in 1819 as Cincinnati College, it is the oldest institution of higher education in Cincinnati and has an annual enrollment of over 44,00 ...

, and in 2016 she moved to her present position at Iowa State University. She was promoted to associate professor, and named Black & Veatch Associate Professor, in 2021. She is also active in supporting women from underrepresented groups in STEM through the Jewels Academy, a non-profit organization based in

Des Moines, Iowa Des Moines () is the capital and the most populous city in the U.S. state of Iowa. It is also the county seat of Polk County. A small part of the city extends into Warren County. It was incorporated on September 22, 1851, as Fort Des Moines, ...

Recognition

In 2013, the Intelligent Systems Technical Committee of the

American Institute of Aeronautics and Astronautics The American Institute of Aeronautics and Astronautics (AIAA) is a professional society for the field of aerospace engineering. The AIAA is the U.S. representative on the International Astronautical Federation and the International Council of ...

gave Rozier their Distinguished Service Award. In 2014, Rozier won the inaugural Initiative-Inspiration-Impact Award of Women in Aerospace, "for exemplary achievement of formal specification, verification and validation of a NextGen air traffic control system candidate and for dedication as a mentor and role model". She won a

National Science Foundation CAREER Award The National Science Foundation CAREER awards, presented by the National Science Foundation (NSF), are in support of junior faculty who exemplify the role of teacher-scholars through research and education, and the integration of these endeavors i ...

and a NASA Early Career Faculty Award in 2016.

References

External links

Laboratory for Temporal Logic
* {{DEFAULTSORT:Rozier, Kristin Yvonne Year of birth missing (living people) Living people American computer scientists American women computer scientists American aerospace engineers American women engineers College of William & Mary alumni Rice University alumni University of Cincinnati faculty Iowa State University faculty