Experience
Education
Bio
Research Interests
Specification and automated validation and verification of software systems.
Dwyer joined UNL in 2004. He was named a Distinguished Scientist by the ACM in 2007 and a Fellow by the IEEE in 2012.