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
Cubic Spline Interpolation for Yield Curve Modelling, July 2023, self-directed.
This is the most up-to-date list of my articles and talks as of January 17, 2024. More to come soon!