My main areas of research are in categorical homotopy theory and higher category theory. My most recently completed project was the construction of a model structure on the category of cubical sets which models the theory of (∞,1)-categories. I am currently working on other projects applying cubical sets to higher category theory. In the past, I have also worked on formalization of category theory in the UniMath library.
|December 5th, 2020||Cubical models of (∞,1)-categories. [slides], [recording: Vimeo]. Canadian Mathematical Society Winter Meeting, online.|
|December 1st, 2020||Cubical models of (∞,1)-categories. Homotopy theory seminar, Florida State University, online.|
|November 2nd, 2020||Cubical models of (∞,1)-categories. Topology seminar, Johns Hopkins University, online.|
|October 6th, 2020||Cubical models of (∞,1)-categories. Topology seminar, École polytechnique fédérale de Lausanne, online.|
|June 15th, 2020||Cubical models of (∞,1)-categories. [slides], [recording: Youtube]. HoTTEST Conference of 2020, online.|
|May 20th, 2020||Necklaces and cubical categories. [slides], [recording: MSRI, Youtube]. MSRI seminar on cubical sets, online.|
|May 13th, 2020||Cubical models of (∞,1)-categories. [slides], [recording: MSRI, Youtube]. MSRI seminar on cubical sets, online.|
|KleisliCategories.v, part of the UniMath Library. [Git]|
Expository notes on ∞-cosmoi, written for a course on higher category theory. [PDF].
Computing Global Dimensions of Endomorphism Rings of Modules Over Rings of Finite Cohen-Macaulay Type, my undergraduate thesis. [PDF].
|Fall 2020||Instructor for Calculus I (Calculus 1000).|
|Fall 2019||TA for Introduction to Abstract Algebra (Math 3020) and Calculus I for the Mathematical Sciences (Calculus 1500).|
|Winter 2019||TA for Introduction to Cryptography (Math 3159), Intermediate Linear Algebra (Math 2120), and Methods of Matrix Algebra (Math 1229).|
|2020||NSERC Michael Smith Foreign Study Supplement to participate in the program Higher Categories and Categorification at the Mathematical Sciences Research Institute in Berkeley, California. (Trip canceled due to COVID-19 pandemic.)|
|2018-2021||NSERC Canada Graduate Scholarship - Doctoral at UWO.|
|2017-2018||Ontario Graduate Scholarship at UWO.||2016-2017||NSERC Canada Graduate Scholarship - Master's at the University of Waterloo.|
|2020||Mentored a Directed Reading Project for an undergraduate student at UWO, on Category Theory.|
|2019||Co-organized the math graduate seminar at UWO.|
firstname.lastname@example.org, for x = bdoher