379 Stocker Center

ab667712@ohio.edu

I'm a Master's 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.


News

01/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.
01/17 Attended PODC 2017 in Washington, DC.
01/16 TA for CS 4100: Introduction to Formal Languages and Compilers in Spring 2017, taught by Dr. Stewart.
01/16 Received the 2016 Outstanding Senior in Computer Science Award at OU.

Publications