Akzeptieren
Abbrechen

Michael W. Whalen

Dr. Michael W. Whalen ist Principal Applied Scientist bei Amazon Web Services und ehemaliger Direktor des Software Engineering Center der University of Minnesota. Dr. Whalen interessiert sich für formale Analyse, Sprachübersetzung, Testen und Requirements Engineering. Er hat die Entwicklung von Simulations-, Übersetzungs-, Test- und Formalanalysetools für C, Rust und modellbasierte Entwicklungssprachen wie Simulink, Stateflow, SCADE und RSML-e geleitet und 85 von Experten begutachtete Artikel zu diesen Themen veröffentlicht.

Dr. Whalen hat erfolgreiche formale Verifikationsprojekte für grundlegende Amazon C-Bibliotheken und große industrielle Avionikmodelle geleitet, darunter sichere autonome Fahrzeuge (DARPA HACMS-Projekt), Pilotendisplays (Rockwell-Collins ADGS-2100 Window Manager), Redundanzmanagement und Steuerungszuweisung (AFRL CerTA FCS-Programm) und Autoland (AFRL CerTA CPD-Programm). Derzeit arbeitet er an der formalen Überprüfung im „Cloud-Maßstab“ und ist Teil eines Teams, das täglich Tausende von Beweisen für C- und Rust-Code durchführt.  Er arbeitet an der Verbesserung der Skalierbarkeit der formalen Verifikation und an der Extraktion von Informationen aus Beweisen zur Erfüllung von Compliance- und Zertifizierungsanforderungen.

Wir empfehlen

PROCEEDINGS OF THE 21ST CONFERENCE ON FORMAL METHODS IN COMPUTER-AIDED DESIGN – FMCAD 2021

PROCEEDINGS OF THE 21ST CONFERENCE ON FORMAL METHODS IN COMPUTER-AIDED DESIGN – FMCAD 2021

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