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.