December 16, 2013 from 1 pm to 2pm, MEC 301.
Matthew B. Dwyer is the Henson Professor of Software Engineering and the Interim Chair in the Department of Computer Science and Engineering at the University of Nebraska – Lincoln. He received the BS in Electrical Engineering in 1985 from the University of Rochester and worked for six years as a Senior Engineer with Intermetrics Inc. developing compilers and software for safety-critical embedded systems. His interests in verification and validation of embedded systems software led him to pursue the PhD at the University of Massachusetts at Amherst which he earned in 1995.
Dr. Dwyer is an active member of the software engineering, computer-aided verification and program analysis research communities, and has chaired program committees of top meetings in those areas (FSE, ICSE, OOPSLA). He has served as Associate Editor of ACM Transactions on Programming Languages and Systems and of IEEE Transactions on Software Engineering. His interests in software specification, dataflow analysis, symbolic execution, software testing, and runtime monitoring have resulted in more than 100 published research articles. That work has been recognized with an NSF CAREER award, distinguished paper awards, and, most recently, the ICSE “Most Influential Paper” and SIGSOFT “Impact Paper” awards in 2010.