Matthew B. Dwyer

Matthew B. Dwyer is the Robert Thomson Distinguished Professor of Computer Science at the University of Virginia, leading research in software verification, program analysis, and autonomous systems. His work focuses on formal methods for ensuring dependable software, particularly in safety-critical domains like autonomous vehicles. He has advised numerous PhD and Master’s students, many of whom hold academic and industry positions globally.

Education: Ph.D. in Computer Science from the University of Massachusetts Amherst, M.S. from UMass Boston, and BSEE from the University of Rochester.

Research Interests: Software Verification & Validation, Program Analysis, Formal Methods, Neural Network Testing, Safety-Critical Systems. His lab, the Laboratory for Engineering Safe Software, develops tools like DNNV for verifying deep neural networks.

Awards: ACM Fellow (2019), IEEE Fellow (2013), multiple test-of-time and impact paper awards from ISSTA, ICSE, and SIGSOFT conferences.

Service: Program chair for ICSE (2022), FSE (2004), and other top venues; editorial roles at IEEE TSE, ACM TOPLAS, and Springer STTT. Co-developed property specification patterns for model checking, widely used in industry and academia.