Will Leeson

The point of the journey is not to arrive — Neil Peart


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 earned degrees in Computer Science and Data Analytics from Drake University.

My research area is software engineering, specifically software verification and testing. Software dominates the world. It’s important that any software that can affect people be thoroughly examined for safety issues. In most testing and verification tools, there are design decisions which fall to heuristics designed by humans, e.g. how should the tool explore the state space. Humans are invariably biased, which often leads to suboptimal heuristics. My research focusses on using machine learning to replace these heuristics, allowing the data to decide how to make decisions, making the tools less reliant on the knowledge of the engineer that designed it and more effective at finding bugs and proving properties.

Personal Life

I’m originally from Tinley Park, a suburb of Chicago. I’m a midwesterner at heart, and I will defend deep dish pizza until the day I die. I enjoy playing sports, watching great movies, cooking, and playing video and board games with friends. Above all else, music is my favorite hobby, whether it be listening or playing. My parents got me interested at an early age and it spiraled out of control from there. I like most genres, but I particularly love progressive and folk rock.


Feb 22, 2023 “Sibyl: Improving Software Engineering Tools with SMT Selection” was selected as 1 of 10 papers to earn the ACM SIGSOFT Distinguished Paper Award at ICSE 2023!
Dec 8, 2022 “Sibyl: Improving Software Engineering Tools with SMT Selection” was accepted at ICSE 2023!