Matthew Dwyer
Professor
University of Virginia
United StatesResearch Interests
Explore related searches
Contact this professor
Get a free first email built on one of their papers, ready for you to edit and send yourself.
About
Professor Matthew Dwyer is a faculty member at the University of Virginia, United States. His research primarily focuses on software verification, autonomous systems safety, and the intersection of documentation and large language models. Recent publications include works on DNN verification, algorithm selection using graph neural networks, and quantitative program analysis.
Articles (8)
Year:
2025
Year:
2025
Year:
2025
Year:
2024
Year:
2024
Year:
2023
Year:
2022
Year:
2022
Collaborators (3)
Antonio Filieri
Associate Professor
Imperial College London
UNITED KINGDOM
ThanhVu Nguyen
George Mason University
UNITED STATES
Sebastian Elbaum
University of Virginia
UNITED STATES
ApplyKite TwinLearns as you applyMake your next move.
Prepare your application
Review drafts before you send them.