Akzeptieren
Abbrechen

Kristin Yvonne Rozier

Professor Kristin Yvonne Rozier leitet das Labor für Temporallogik in der Luft- und Raumfahrttechnik an der Iowa State University. Zuvor war sie 14 Jahre lang als Wissenschaftlerin bei der NASA und drei Semester lang als Assistenzprofessorin an der University of Cincinnati tätig. Sie promovierte an der Rice University und erwarb einen B.S.- und M.S.-Abschluss am College of William and Mary. Dr. Roziers Forschung konzentriert sich auf automatisierte Techniken für die formale Spezifikation, Validierung und Verifizierung von sicherheitskritischen Systemen. Zu ihren primären Forschungsinteressen gehören: Überprüfung der Systemlogik und der Systemanforderungen zur Entwurfszeit, Systemzustandsmanagement zur Laufzeit sowie Sicherheitsanalysen.Für ihre Leistungen im Bereich der Berechnungen für die Luft- und Raumfahrt erhielt sie zahlreiche Auszeichnungen, darunter den NSF CAREER Award, den NASA Early Career Faculty Award, den Howard Hughes Award der American Helicopter Society, den Women in Aerospace Inaugural Initiative-Inspiration-Impact Award, zwei NASA Group Achievement Awards, zwei NASA Superior Accomplishment Awards, den Lockheed Martin Space Operations Lightning Award, den Intelligent Systems Distinguished Service Award der AIAA und das Building a World of Difference Faculty Fellowship. Sie hat eine Stiftungsprofessur als Dennis und Rebecca Muilenburg Professor inne, ist Associate Fellow der AIAA und Senior Member von IEEE, ACM und SWE. Dr. Rozier ist seit ihrer Mitwirkung an der Gründung des NASA Formal Methods Symposiums im Jahr 2008 Mitglied des Steering Committee dieser Konferenz.

Wir empfehlen

PROCEEDINGS OF THE 23RD CONFERENCE ON FORMAL METHODS IN COMPUTER-AIDED DESIGN – FMCAD 2023

PROCEEDINGS OF THE 23RD CONFERENCE ON FORMAL METHODS IN COMPUTER-AIDED DESIGN – FMCAD 2023

ISBN: 978-3-85448-060-0
Das ausgewählte Produkt wurde zum Warenkorb hinzugefügt.
Akzeptieren
Abbrechen