Mats P. E. Heimdahl

Registered user since Mon 10 Oct 2022

Name:Mats P. E. Heimdahl

Mats Heimdahl is the Department Head and a Professor of Computer Science & Engineering at the University of Minnesota. He earned an M.S. in Computer Science and Engineering from the Royal Institute of Technology (KTH) in Stockholm, Sweden and a Ph.D. in Information and Computer Science from the University of California at Irvine.

His research interests are in software engineering, safety critical systems, software safety, testing, requirements engineering, formal specification languages, and automated analysis of specifications.

Country:United States
Affiliation:University of Minnesota, USA