Gold University of Minnesota M. Skip to main content. University of Minnesota. Home page. One Stop | Directories | Search U of M  
  Michael W. Whalen  

On this page

Research Interests



Contact Information




Crisys research group



University of Minnesota Software Engineering Center

Department of Computer Science and Engineering

Institute of Technology

University of Minnesota

Michael W. Whalen

Adjunct faculty member, UMSEC

University of Minnesota Software Engineering Center
Department of Computer Science and Engineering
Institute of Technology
University of Minnesota

"Formal methods will never have a significant impact
until they can be used by people who don't understand them." -- attributed to Tom Melham       

Michael Whalen

Recent News

I am co-chairing the Software Engineering in Practice Track in ICSE 2019 along with Helen Sharp!

I have joined the ARG group at Amazon Web Services as of August 20th, 2018! I am no longer UMSEC director; please direct queries about the center to Sanjai Rayadurgam. I will still be associated with UMN as an adjunct faculty member.

Research Interests:

My research interests are in the intersection of software requirements, architecture, and verification. These interests are driven by a strong desire to make a wide range of software systems safer, more resilient, and more secure. Specifically, I wish to (1) scale automated testing and formal verification approaches to the point where they will be applied repeatedly and cost effectively in industrial practice, (2) provide rich feedback to developers from verification evidence to help understand the relation between software artifacts and the adequacy of the verification performed given the software's intended purpose, and (3) formulate requirements and provide rigorous verification evidence for learning and adaptive software that will be deployed in cyber-physical systems.

I am a part of the Critical Systems Group (CriSys) whose research interests are in the general area of software engineering; in particular, software development for critical software applications - applications where incorrect operation of the software could lead to loss of life, substantial material or environmental damage, or large monetary losses. The long-term goal of our research activities is the development of a comprehensive framework for the development of software for critical software systems. Our work has focused on some of the most difficult and least understood aspects of software development - requirements specification and validation/verification. For more information, and possible student research opportunities please visit the Crisys Group Page.


A list of my publications can be found here.


  • Fall 2017, 2016, 2015, 2014, 2013, 2012, 2011, 2010 - SEng 5861: Software Architecture
  • Spring 2015 - CSCI8801: Advanced Software Engineering
  • Spring 2007 - SEng 5841: Model-Based Software Development and Analysis


Contact Information:


Office: 6-254 Keller Hall (formerly EE/CSci Building), a map to Keller Hall.

Lab: 6-208 Keller Hall

Postal Address:
Michael W. Whalen
Dept. of Computer Science and Engineering
4-192 Keller Hall
University of Minnesota
200 SE Union Street
Minneapolis, MN 55455

Phone Numbers:
+1 612 624 5130 - office
+1 612 625 0572 - fax

Valid HTML 4.0!

©2013 Michael W. Whalen. All rights reserved. Trouble seeing the text? | Contact U of M | Privacy
The University of Minnesota is an equal opportunity educator and employer. Created on March 7, 2013