I am an incoming CS PhD student at the University of Toronto working with Ningning Xie on algebraic effects.

My research interests center around programming language theory, and in particular functional programming. I am currently studying type systems, logic, and compilers.

Previously, I did my B.S. at University of Maryland, College Park where I worked with Leonidas Lampropoulos on random program generation.

News

• August 2024: I was at School on Univalent Mathematics at the University of Minnesota!
• June 2024: I was at OPLSS at Boston University!
• May 2024: I graduated from the University of Maryland with a Bachelor of Science!

Teaching

• CSC324: Principles of Programming Languages. Fall 2024