Unifying Speaker Matthew B. Dwyer

Matthew B. Dwyer is the Robert Thomson Distinguished Professor in the Department of Computer Science at the University of Virginia. He has authored more than 140 scholarly publications in program analysis, software specification, and automated formal methods. These research contributions have been recognized with five “test of time” (ICSE 2010, SIGSOFT 2010, FSE 2018, SIGSOFT 2021, ISSTA 2022). He has been recognized as a Fulbright Research Scholar, an IEEE Fellow, a Parnas Fellow, an ACM Fellow, and with IEEE Computer Society Harlan D. Mills Award.