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
- 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
- My Curriculum Vitae is available here.
- Positions held:
6-254 Keller Hall (formerly EE/CSci Building),
a map to Keller Hall.
6-208 Keller Hall
Michael W. Whalen
Dept. of Computer Science and Engineering
4-192 Keller Hall
University of Minnesota
200 SE Union Street
Minneapolis, MN 55455
+1 612 624 5130 - office
+1 612 625 0572 - fax