A more personal bio is available here.
I am a first-year MSE candidate in computer science at Princeton University. I have yet to be assigned an advisor. My primary research interests are in programming languages and algebraic theories, but broadly my interests span many aspects of theoretical computer science, such as computational complexity, category theory, and logics.
Previously, I attended Cornell University, where I graduated in May 2017 with a B.Sc. in computer science. At Cornell, I worked on providing appropriate pedagogical tools for the λ-calculus as part of the research project for my senior thesis. I also tinkered with NVIDIA's CUDA programming language for a different project.
Feel free to reach out. I'm always down to talk over Hoagie Haven!