University of Minnesota
Software Engineering Center

You are here

Dr. Mike Whalen joins UMSEC

December 1, 2009

The University of Minnesota Software Engineering Center (UMSEC) is pleased to announce that Dr. Mike Whalen will be the new Program Director for UMSEC. In this newly created position, Dr. Whalen will direct the research performed and sponsored by the center and will also administer parts of the Masters of Science in Software Engineering (MSSE) program.

Dr. Whalen is interested in many aspects of software engineering, including requirements engineering, software design and patterns, development processes and methodologies, and verification and validation techniques. He is particularly interested in formal analysis and testing, and has developed translation and formal analysis tools for Model-Based Development (MBD) languages including Simulink, Stateflow, Lustre, and RSML-e. He has published over 25 papers on these topics and 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). His PhD dissertation involved using higher-order abstract syntax as a basis for a provably-correct code generation tool from the RSML-e specification language into a subset of C.

"I'm delighted to be here" said Mike when asked about the new position. "I'm part of a world class group of researchers at the University, and there is such a vibrant software community in the Twin Cities. I'm hoping to both do some theoretical work and also reach out to the high tech industry here in town to help the state of the practice reach the state of the art. The MSSE program is a great vehicle for this; we can help students become aware of recent and foundational research and how to apply it at their work."