I am a 4th year undergradute student in mathematics at Western University under the supervision of Chris Kapulkin.
I am interested in logic, category theory, and homotopy theory. My most recent project was a construction of the type of two-adjoint equivalences in Homotopy Type Theory, formalized in Lean 3.My email: email@example.com and my CV.
2-adjoint equivalences in homotopy type theory.
with J. Chang, C. Kapulkin, and R. Sandford,
Logical Methods in Computer Science 17 (2021), no. 1, Paper No. 3, 9pp.
[arXiv] [LMCS] [github]
Formal Verification of Mathematics.
Canadian Undergradute Mathematics Conference 2020 (August 20, 2020)
Formalizing 2-Adjoint Equivalences in Homotopy Type Theory.
Western Homotopy Theory Seminar (August 18, 2020)
Awards and Scholarships
|2020||NSERC Undergradute Student Research Award at Western University.|
|2018-2020||Dean's Honor List.|
|2017||Western Scholarship of Excellence.|
|February 2020||Higher Categories and Categorification.
Research visit. Mathematical Sciences Research Institute.
|Winter 2020||Directed Reading Program.
Category Theory. Western University.
|October 2019||Midwest Homotopy Type Theory Seminar
University of Michigan.