Matthew Dwyer

Robert Thomson Distinguished Professor
Laboratory for Engineering Safe Software
Dept. of Computer Science
University of Virginia