5 Biography

Matthew B. Dwyer is an Assistant Professor in the Department of Computing and Information Sciences at Kansas State University. He conducts research on specification and automated validation of correctness properties of concurrent and distributed software systems. He also researches frameworks to enable rapid development of reliable, high-performance software for scientific and computational engineering applications. In both of these areas, a key component of his work is the application and evaluation of research results in realistic settings. He received the Ph.D. in Computer Science from the University of Massachusetts in 1995. Prior to that he was a Senior Engineer at Intermetrics, Inc. for 5 years working on compiler and debugger product development. His work is funded by NSF under CAREER award CCR-9703094 and jointly with DARPA under EDCS award CCR-9633388.