Articles, Talks and Contributions

Talks I've Given

A Brief Introduction to Homotopy Type Theory, Canadian Undergraduate Math Conference, July 2022, ~30 minutes.

Proving Theorems with Model Theory: the Ax-Grothendieck Theorem, UWO Seminar, March 2022, ~20 minutes.

Graphs from a Categorical Lens, UWO Seminar, November 2021, ~20 minutes.

Articles I've Written

Categorical Aspects of Graphs, August 2021, as part of UWO's Undergraduate Student Research Internship

Projects

This is the most up-to-date list of my articles and talks as of January 17, 2024. More to come soon!