Research

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.

I was a master's student in the PLSE group at the University of Toronto, working with Prof. Ningning Xie.

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

Talks

Publications