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

My research interests include Homotopy Type Theory, (Higher) Category Theory, and Formal Verification
I am generally involved in the topics relating to homotopy theory

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