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
Contact me:
agureev@uwo.ca