PhD, University of Massachusetts at AmherstMS, University of Massachusetts at BostonBSEE, University of Rochester

Matthew B. Dwyer is a John C. Knight Faculty Fellow and Professor in the Department of Computer Science at the University of Virginia.  His research interests focus on methods for reasoning about the behavior of software.  His prior work has improved and applied a wide-range of formal reasoning frameworks, such as model checking, symbolic execution, and abstract interpretation, to programs.  His current efforts are exploring methods to assure the dependability of autonomous systems built from diverse component sources (e.g., software built by humans, trained by machine-learning approaches, or synthesized from high-level models).


  • ACM Distinguished Scientist 2007
  • ICSE Most Influential Paper Award 2010
  • SIGSOFT Impact Paper Award 2010
  • Fulbright Research Scholar 2011
  • IEEE Fellow 2013
  • LERO Parnas Fellow 2018
  • SIGSOFT ESEC/FSE Test of Time Award 2018

Research Interests

  • Software Verification and Validation, Software Engineering, Program Analysis