Michael Whalen

Registered user since Mon 31 Oct 2016

Name: Michael Whalen

Bio: Michael Whalen is a Principal Software Engineer at Amazon Web Services, where he works in the Automated Reasoning Group (ARG) applying proof techniques towards security applications. He is also an adjunct professor at the University of Minnesota where he was formerly the Director of the University of Minnesota Software Engineering Center (UMSEC).

Dr. Whalen is interested in formal analysis, language translation, testing, and requirements engineering. He has developed simulation, translation, testing, and formal analysis tools for Model-Based Development languages including Simulink, Stateflow, SCADE, and RSML-e, and has published more than 90 papers on these topics. He has led successful formal verification projects on large industrial avionics models, including displays (Rockwell-Collins ADGS-2100 Window Manager), redundancy management and control allocation (AFRL CerTA FCS program) and autoland (AFRL CerTA CPD program). He is currently working on improving the scalability of formal verification and extracting information from proofs that can be used to satisfy certification requirements related to traceability and adequacy of requirements. He has recently applied proof tools towards creating secure autonomous vehicles in the DARPA HACMS project.

Country: United States

Affiliation: Amazon Web Services and the University of Minnesota

Personal website: http://www.cs.umn.edu/~whalen

Research interests: Model Checking, Testing, Requirements

Contributions

ASE 2019Committee Member in Program Committee within the Research Papers-track
Committee Member in Steering Committee
FormaliSE 2019Committee Member in Program Committee within the FormaliSE 2019-track
HILT 2018Committee Member in Program Committee within the HILT 2018-track
ICSE 2020Committee Member in Program Committee within the New Ideas and Emerging Results-track
FormaliSE 2018Session Chair of Formal Methods for Autonomous Systems 2 (part of FormaliSE 2018)
Committee Member in Program Committee within the FormaliSE 2018-track
ICSE 2019SEIP Chair in Program Committee within the Software Engineering in Practice-track
Session Chair of Managing Variation: An Industrial Perspective on Product Line Engineering (part of Plenary)
Committee Member in Program Committee within the ACM Student Research Competition-track
Author of IEEE Software Best Software Engineering in Practice Award within the Plenary-track
SEIP Chair in Organizing Committee
Author of Opening Ceremonies within the Plenary-track
ISSTA 2017Keynote Speaker of Keynote Talk: Test Metrics and Generation Strategies for Next-Generation CPS Software within the TECPS-track
Committee Member in Organizing Committee within the TECPS-track
SPIN 2017Committee Member in Program Committee
* ICSE 2018 *Committee Member in Program Committee within the NIER - New Ideas and Emerging Results -track
Committee Member in Program Committee within the TB - Technical Briefings -track
Session Chair of Security, Safety, and Quality (part of NIER - New Ideas and Emerging Results )