Mats Heimdahl

Mats Heimdahl

Mats Heimdahl

Professor, Distinguished University Teaching Professor, Department Head, Department of Computer Science & Engineering


Kenneth H. Keller Hall
Room 4-192C
200 Union Street Se
Minneapolis, MN 55455


  • Ph.D. in Computer Science, University of California Irvine (1994)
  • M.S. in Computer Science and Engineering, KTH Royal Institute of Technology (1988)


Heimdahl personal website

Research Interests

Heimdahl's research group, the Critical Systems Research Group (CriSys), is conducting research in software engineering and is investigating methods and tools to help develop software with predictable behavior free from defects.

Research in this area spans all aspects of system development ranging from concept formation and requirements specification, through design and implementation, to testing and maintenance. In particular, the group is investigating model-based software development for critical systems.

Specifically, research is focused on how to use various static verification techniques to assure that software requirements models possess desirable properties, how to correctly generate production code from software requirements models, how to validate models, and how to effectively use the models in the testing process.

Research Areas
Software Engineering and Programming Languages

Current Research
Google Scholar