About Me


My name is Will Leeson. I’m a Ph.D. student at the University of Virginia studying under Matt Dwyer and a member of the LESS LAB. I’m originally from Tinley Park, a suburb of Chicago. I earned degrees in Computer Science and Data Analytics from Drake University. When I’m not working on research, I like to spend time with friends or doing one of my hobbies (if I’m lucky, both). These include playing music, cooking, board games, video games, and painting.

Research Interest

My research revolves around software verification. Software dominates the world. It’s important that any software that can affect people be proven safe. Software verification can prove that some program meets a specification set by the user. This is a hard problem that becomes harder the larger and more complex a codebase gets. I aim to make this problem a more practical one, whether that be through simplifying the problem or using the right tools for the right job.



Will Leeson and Matthew B Dwyer. 2022. Graves-CPA: A graph-attention verifier selector (competition contribution). In International Conference on Tools and Algorithms for the Construction and Analysis of Systems. Springer, 440–445.