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

Teaching

Bio

Contact Information

   

Related

Papers

Crisys research group

   

Outside

Department of Computer Science and Engineering

University of Minnesota Software Engineering Center

Institute of Technology

University of Minnesota
 

Michael W. Whalen

Program Director, UMSEC

Department of Computer Science and Engineering
University of Minnesota Software Engineering Center
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."       

Michael Whalen




Research Interests:

Software plays an increasing role in the operation of critical systems. As these systems become more complex, ensuring software correctness becomes much more difficult. I am interested in automated formal techniques for precisely specifying, implementing, and verifying software. To support these activities, I have developed several translation and analysis tools to support formal reasoning and test case generation. I have significant experience in applying formal verification and auto-test generation techniques to production DO178B Level A and B avionics software development efforts.

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.


Papers:

A list of my publications can be found here.


Teaching:

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


Bio:


Contact Information:

Email: whalen@cs.umn.edu

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
USA

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