CV

General Information

Full Name Will Leeson
Research Interests Program Analysis, Formal Methods, Graph Neural Networks

Education

  • 2019 - Present
    Doctor of Philosophy
    University of Virginia, United States
  • 2015-2019
    Bachelors of Science
    Drake University
    • Computer Science
    • Data Analytics

Experience

  • 2019 - Present
    Research Assistant
    University of Virginia, United States
    Less Lab
  • 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