Prof. Leeson began studying computer science at Drake University. He then continued his learning at the University of Virginia where he earned his Ph.D. in 2024. Prof. Leeson's main research area is in software engineering, specifically program analysis. Software is invading most facets of life, and his research is aimed to ensure that these programs are rigourusly tested and analyzed to ensure they do no harm. Additionally, Prof. Leeson is interested in graph neural networks, a class of machine learning models designed to handle data that can be represented using a graph.

Beyond academics, Prof. Leeson likes to cook, listen to music, and play games with friends.