I am a PhD student in the School of Computing at the University of Utah.

My research interests lie broadly in the applications of mathematics and formal methods to problems in computer science, particularly in correctness of parallel computation.