You are here
Matthew B. Dwyer is the Lovell Professor of the Department of Computer Science and Engineering at the University of Nebraska-Lincoln. He holds a BSEE from the University of Rochester, an MS in Computer Science from the University of Massachusetts at Boston, and a PhD in Computer Science from the University of Massachusetts at Amherst.
He has been fortunate to work with a great group of colleagues and students on topics related to program analysis, software specification, and automated formal methods. Their work has been widely published and cited, with more than 120 refereed publications, and has received multiple awards including an NSF CAREER award, three ACM Distinguished Paper awards, the ICSE "Most Influential Paper", and the SIGSOFT "Impact Paper" award. Dr Dwyer has been named an ACM Distinguished Scientist, a Fulbright Research Scholar, and an IEEE Fellow.
Dr Dwyer has served in leadership roles for a number of top publication venues including as PC chair of FSE, FASE, ICSE, and OOPSLA, and as Associate Editor of ACM TOPLAS, CACM, and IEEE TSE. He recently completed a 4 year term as Editor-in-Chief of IEEE Transactions on Software Engineering.
His current research focuses on leveraging program analysis results that characterize classes of program behaviour as logical structures to support the validation, verification, and adaptation of autonomous systems.