M
Mats Heimdahl
Professor, Distinguished University Teaching Professor
Research Interests
Advanced Software Engineering Methodologies
Formal Methods in Verification
Software Engineering Research
Software Reliability and Analysis Research
Software Testing and Debugging Techniques