Kristin Yvonne Rozier es una ingeniera aeroespacial y científica informática estadounidense cuya investigación investiga métodos formales que incluyen lógica temporal y verificación de modelos para la verificación formal de sistemas críticos para la seguridad , especialmente aquellos que involucran transporte aéreo, vehículos aéreos no tripulados y control de tráfico aéreo . Es profesora asociada de Black & Veatch de Ingeniería Aeroespacial, Ciencias de la Computación, Ingeniería Eléctrica e Informática y Matemáticas en la Universidad Estatal de Iowa , donde dirige el Laboratorio de Lógica Temporal. [1] [2]
Rozier estudió informática en el College of William & Mary , graduándose en 2000. Después de obtener una maestría allí en 2001, supervisada por Paul K. Stockmeyer, fue a la Universidad Rice para realizar estudios de doctorado en informática. [2] Completó su doctorado en 2012, con la disertación Traducción explícita o simbólica de la lógica temporal lineal a autómatas . Su asesor de doctorado fue Moshe Vardi , con Stockmeyer como coasesor. [2] [3]
Se unió al Centro de Investigación Langley de la NASA como científica investigadora en 2003 y se trasladó al Centro de Investigación Ames en 2008. En 2015 se convirtió en profesora adjunta de ingeniería aeroespacial y mecánica de ingeniería en la Universidad de Cincinnati , y en 2016 se trasladó a su puesto actual en la Universidad Estatal de Iowa. Fue ascendida a profesora asociada y nombrada profesora asociada Black & Veatch en 2021. [2]
También participa activamente en el apoyo a mujeres de grupos subrepresentados en STEM a través de Jewels Academy, una organización sin fines de lucro con sede en Des Moines, Iowa . [4]
En 2013, el Comité Técnico de Sistemas Inteligentes del Instituto Americano de Aeronáutica y Astronáutica le otorgó a Rozier su Premio al Servicio Distinguido. [5] En 2014, Rozier ganó el Premio inaugural Iniciativa-Inspiración-Impacto de Mujeres en el Sector Aeroespacial, "por el logro ejemplar de especificación formal, verificación y validación de un candidato al sistema de control de tráfico aéreo NextGen y por su dedicación como mentora y modelo a seguir". [6]
Ganó un premio CAREER de la Fundación Nacional de Ciencias y un premio NASA Early Career Faculty en 2016. [2]