379 Stocker Center


I'm a PhD student at Ohio University under Dr. Gordon Stewart.

My research interests include programming languages, compilers, and formal methods of software verification. I also dabble in machine learning and computer graphics.


02/19 Attended AAAI 2019 in Honolulu, Hawaii.
05/18 I will be interning at Galois in Portland, Oregon this summer working on probabilistic programming languages with Eddy Westbrook.
07/17 I was lucky enough to attend the first week of DeepSpec Summer School 2017 in Philadelpha featuring lectures from Pierce, Leroy, Weirich, and Zdancewic.
07/17 Attended PODC 2017 in Washington, DC.
01/17 TA for CS 4100: Introduction to Formal Languages and Compilers in Spring 2017, taught by Dr. Stewart.