I'm currently a software engineer at Microsoft, and work in the Azure reserved instances team. My research interests lie broadly in programming languages and theory. As an undergraduate at Cornell, I was a part of Capra, where I contributed to Gator, a domain specific programming language for geometry types. I also worked on understanding the scope and applications of Gaussian Boson Sampling at the McMahon Lab. I am currently working on how to efficiently verify path independence of morphisms over the course of online addition to a category, a problem that finds application in situations like the compilation of programs with implicit type conversion.