CV

General Information

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

Education

  • 2019 - 2024
    Doctor of Philosophy, Computer Science
    University of Virginia, United States
    • Advisor - Matthew B. Dwyer
    • Dissertation - Learning to Improve Program Analysis Using Graph Representations
  • 2015-2019
    Bachelors of Science
    Drake University
    • Computer Science
    • Data Analytics

Experience

  • 2024 - Present
    Assistant Professor
    St. Olaf College, United States
  • 2019 - 2024
    Research Assistant
    University of Virginia, United States
  • 2023
    Instructor
    University of Virginia, United States
    • CS1010 - Introduction to Information Technology
  • 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