Kristin Yvonne Rozier
personne
informaticienne américaine spécialisée dans la vérification formelle pour l’aérospatiale
Kristin Yvonne Rozier est une ingénieure aérospatiale et informaticienne américaine dont les recherches portent sur les méthodes formelles, notamment la logique temporelle et de la vérification de modèles pour la vérification formelle des systèmes de sécurité critiques, en particulier ceux qui concernent le transport aérien, les drones et le contrôle de la circulation aérienne.
Liens externes
Lien Wikipedia : https://fr.wikipedia.org/wiki/Kristin_Yvonne_Rozier
Lien Wikidata : https://www.wikidata.org/wiki/Q103024869
Propriétés
- genre_personne
- féminin
- occupation
- ingénieur aéronautique
- p106_all
- ingénieur aéronautique, professeur d'université, informaticien ou informaticienne