| Jul 08, 2024 | I am happy to report I have passed my dissertation defense! Dr. Leeson reporting for duty. |
| Nov 22, 2023 | I’m thrilled to announce I’ve accepted an tenure-track position in the Math, Statistics, and Computer Science department at St. Olaf College! |
| Nov 10, 2023 | “Algorithm Selection for Software Verification using Graph Neural Networks” was accepted by TOSEM as a journal first paper on their AI for SE track! |
| Oct 25, 2023 | I passed my dissertation proposal! Now I gotta do what I promised  |
| 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 08, 2022 | “Sibyl: Improving Software Engineering Tools with SMT Selection” was accepted at ICSE 2023! |