Ph.D. student at the University of Oregon Department of Computer & Information Science. Currently working on my dissertation on intermediate languages in optimizing compilers, particularly GHC and other functional languages. Contributed to GHC 8.2.1 by adding join points to its Core intermediate language. Other research interests include parametricity, proof assistants, and category theory.