I am an MSc student in Mathematics at the University of Western Ontario under the supervision of David Riley and Chris Kapulkin

My research interests include Homotopy Type Theory, (Higher) Category Theory, and Formal Verification
Recently, I started investigating questions regarding conservative extensions of type theories
I am generally involved in the topics of formalization and foundations of mathematics

Outside of academia, I am interested in philosophy of mathematics and formal methods as well as the legacy of German Idealism

Outside the outside of academia, I also delve into blurry photography and field recordings