Heimdahl’s research focuses on software engineering and is investigating methods and tools to help us develop software with predictable behavior free from critical defects. His group, Critical Systems Research Group (CriSys), is investigating issues in automated software engineering; how we can effectively leverage tool support to reduce cost, shorten cycle time, and improve software quality. Specifically, they focus on software requirements engineering, model-based software development, software validation and verification, and software test automation.
Ph.D. Graduates Tae Joon Byun (2022; co-advised with Sanjai Rayadurgam); Danielle Stewart (2021; co-advised with Michal W. Whalen); Andreas Katis (2020; co-advised with Michael W. Whalen); Anitha Murugesan (2020; co-advised with Sanjai Rayadurgam); Ian DeSilva (2019; co-advised with Sanjai Rayadurgam); Elaheh Ghassabani (2018; co-advised with Michael W. Whalen); Dongjiang You (2016); Gregory Gay (2015; co-advised with Sanjai Rayadurgam); Hung Pham (2014; co-advised with Michael W. Whalen); Devaraj George (2012); Matt Staats (2011); Myung-Hwan Park (2010); Kai Xui (2009); Ajitha Rajan (2008); Anjali Joshi (2008); Jimin Gao (2007; co-advised with Eric Van Wyk); Michael W. Whalen (2005); Robert Weber (2004); Sanjai Rayadurgam (2004); Yunja Choi (2003); Jeffrey M. Thompson (2002); Barbara J. Czerny (1997, Michigan State University).
Ph.D. in Computer Science, University of California Irvine (1994) M.S. in Computer Science and Engineering, KTH Royal Institute of Technology (1988)
Mats Heimdahl joined the Department of Computer Science & Engineering in 1996 as an assistant professor. He was named a Distinguished University Teaching Professor in 2004 and has been serving as the head of the department since 2015. In his tenure at the University, Heimdahl also served as the center director for the University of Minnesota Software Engineering Center from 2004-15. Prior to his work in Minnesota, Heimdahl was an assistant professor at Michigan State University from 1994-96, during which time he also served as the vice president of Safeware Engineering Corporation (1995-98).