About Me

Mike Whalen is an adjunct faculty member at the University of Minnesota, associated with the Department of Computer Science and Engineering (CS&E). He specializes in software engineering and has contributed significantly to the field through both teaching and research. His courses include Black-box and White-box Testing and Introduction to Automated Analysis, which focus on essential testing methodologies in software development.With a strong background in formal methods and verification, Mike Whalen has worked extensively on projects related to safety-critical systems, particularly in avionics. His research interests include model checking, software testing, and requirements engineering, aimed at enhancing the reliability and safety of software systems.