I am a Ph.D. student in the PLSE group at the University of Toronto, working with Prof. Ningning Xie.

I am interested in programming languages, logic, and type theory. I enjoy exploring the connections between these areas, and applying the techniques for precise program modeling.

My current research focuses on modal type theory and its use in typed meta-programming.