CV
General Information
Full Name | Will Leeson |
Research Interests | Program Analysis, Formal Methods, Graph Neural Networks |
Education
- 2019 - Present
- 2015-2019
Bachelors of Science
Drake University
- Computer Science
- Data Analytics
Experience
- 2019 - Present
- 2023
Instructor
University of Virginia, United States
- CS1010 - Introduction to Information Technology
- 2020-2021
Teaching Assistant
University of Virginia, United States
- CS 4501 - Software Analysis and Applications (Fall 2021)
- CS 4620 - Compilers (Fall 2021)
- CS 6888 - Software Analysis and Applications (Spring 2021)
- CS 4620 - Compilers (Fall 2020)
- 2017-2019
Research Assistant
Drake University, United States
Open Source Projects
- 2021-now
Sibyl
- An adaptable algorithm selector for SMT solvers
- 2020-now
Graves-CPA
- An fork of the C Verifier CPAChecker which orders verification techniques for a given program
Honors and Awards
- 2023
- ACM SIGSOFT Distinguished Paper Award
- 2021
- University of Virginia Department of Computer Science Outstanding Teaching Award