Will Leeson

No one knows for certain, let the mystery be — Iris Dement

prof_pic.jpg

About Me

My name is Will Leeson. I’m an Assistant Professor of Computer Science in the Mathematics, Statistics, and Computer Science Department at St. Olaf College. I earned my Ph.D. in Computer Science at the University of Virginia studying under Matthew Dwyer where I was 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 program analysis. Software dominates the world. It’s important that any software that can affect people be thoroughly examined for safety issues. My research focusses on using machine learning to models to guide program analysis to be more efficient and, in some cases, more correct. To do this, I leverage graph representations of programs which faithfully represent their semantics. This allows the model to identify patterns in the behavior of the system, so it can learn when certain decisions are most appropriate.

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 folk, new wave, and progressive rock.

News

Jul 8, 2024 I 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!