Mats Heimdahl

Mats Heimdahl headshot

Mats Heimdahl

Professor, Department Head, Department of Computer Science & Engineering

Contact

Kenneth H. Keller Hall
Room 4-192C
200 Union Street Se
Minneapolis, MN 55455
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