🔭 I'm an undergraduate at School of Computer Science, Carnegie Mellon University. I major in Computer Science, with a concentration in Principles of Programming Languages.
✨ My interests are in type theory, programming language theory, and logic. My expected graduation date is December 2023.