Matthew B. Dwyer
ACM, the Association for Computing Machinery, has named 58 members ACM Fellows for wide-ranging and fundamental contributions in areas including artificial intelligence, cloud computing, combating cybercrime, quantum computing and wireless networking. The accomplishments of the 2019 ACM Fellows underpin the technologies that define the digital age and greatly impact our professional and personal lives. ACM Fellows comprise an elite group that represents less than 1% of the Association’s global membership.
Matthew B. Dwyer, a John C. Knight Faculty Fellow and Professor in the Department of Computer Science at the University of Virginia, is one of the 58 ACM Fellows announced on December 11. His research interests focus on methods for reasoning about the behavior of software. His prior work has improved and applied a wide-range of formal reasoning frameworks, such as model checking, symbolic execution, and abstract interpretation, to programs. His current efforts are exploring methods to assure the dependability of autonomous systems built from diverse component sources (e.g., software built by humans, trained by machine-learning approaches, or synthesized from high-level models).
The contributions of the 2019 Fellows run the gamut of the many sub-disciplines of the computing field―including artificial intelligence, cloud computing, computer graphics, computational biology, data science, security and privacy, software engineering, quantum computing, and web science, to name a few.
ACM will formally recognize its 2019 Fellows at the annual Awards Banquet, to be held in San Francisco on June 20, 2020. Additional information about the 2019 ACM Fellows, as well as previously named ACM Fellows, is available through the ACM Fellows site.