Hello, and welcome to my website! I am currently a postdoctoral fellow in the Department of Mathematics and Computer Science at Brandon University in Brandon, Manitoba, Canada working with Rory LucyshynWright. I obtained my PhD in mathematics at the University of Ottawa in October 2020 working with Pieter Hofstra and Philip Scott, and my MSc in Logic and Computation at Carnegie Mellon University in May 2015 working with Steve Awodey. My research interests lie primarily in category theory, algebra, and logic.
Click on the link on the lefthand menu to open my CV (which contains my email address). Also, check out the math memes page to nerd out like a mathematician (more to be added in the future!).
Last updated: November 19, 2021
Education
September 2015  October 2020
PhD in Mathematics and Statistics, University of Ottawa
Thesis: Isotropy Groups of QuasiEquational Theories
Advisors: Pieter Hofstra and Philip Scott
August 2013  May 2015
MSc in Logic, Computation, and Methodology, Carnegie Mellon University
Thesis: Duality between Cubes and Bipointed Sets
Advisor: Steve Awodey
September 2009  April 2013
BA Honours in Philosophy, Queen's University
Publications and Preprints
Locally bounded enriched categories (with Rory LucyshynWright). Preprint, 2021. Submitted for publication to Theory and Applications of Categories.
Inner automorphisms of presheaves of groups. Preprint, 2021. Submitted for publication to Applied Categorical Structures.
Covariant isotropy of Grothendieck toposes. Preprint, 2021. Submitted for publication to Applied Categorical Structures.
Polymorphic automorphisms and the Picard group (with Pieter Hofstra and Philip Scott). 6th International Conference on Formal Structures for Computation and Deduction (FSCD 2021), N. Koyayashi, Ed. Dagstuhl Publications LIPlcs, Vol. 195, 2021.
Isotropy groups of free racks and quandles. Published in Journal of Algebra and its Applications, 2021.
Isotropy and combination problems. Preprint, 2020.
Isotropy of algebraic theories (with Pieter Hofstra and Philip Scott). Electronic Notes in Theoretical Computer Science 341: 201217, 2018.
Selected Presentations
Locally bounded enriched categories.

Australian Category Seminar. Online. November 9, 2021. Slides.

The Calgary Peripatetic Seminar. Online. October 1, 2021. Slides.

University of Ottawa Logic Seminar. Online. September 30, 2021. Slides, video.

Atlantic Category Theory Seminar. Online. September 14, 2021. Slides.
Presentations and algebraic colimits of enriched monads (for a subcategory of arities).

Category Theory Novemberfest. Online. November 13, 2021. Slides, video.

Atlantic Category Theory Seminar. Online. October 5, 2021. Slides.

International Category Theory Conference 2021. Genoa, Italy. August 31, 2021. Slides, video.

Mathematical Congress of the Americas Categories and Topology Session. July 16, 2021. Slides, video.
Polymorphic automorphisms and the Picard group.

Invited Talk: Carnegie Mellon University Mathematical Logic Seminar. Online. October 26, 2021. Slides.

Logic Supergroup Early Career Researcher Workshop. Online. October 14, 2021. Slides, video.

6th International Conference on Formal Structures for Computation and Deduction. Buenos Aires, Argentina. July 21, 2021. Slides, video.

Distinguished Presentation: Applied Category Theory Conference. University of Cambridge. July 15, 2021. Slides, video.
Covariant isotropy of Grothendieck toposes.

Open House on Category Theory. Online. November 19, 2021. Slides.

Toposes Online Conference. Online, June 30, 2021. Slides, video.
Isotropy in category theory.

Invited Talk: Brandon University Science Seminar. Brandon University. March 25, 2021. Slides.
Isotropy groups of quasiequational theories.

Invited Talk: TalTech Category Theory Seminar. Online. March 4, 2021. Slides.

New York City Category Theory Seminar. Online, February 3, 2021. Slides, video.

Panglobal Algebra and Logic Seminar (PALS). Online, January 26, 2021. Slides, video.

AlgebraCoalgebra Seminar. Online, January 6, 2021. Slides.

The Calgary Peripatetic Seminar. Online. December 11, 2020. Slides.

Vanderbilt University Universal Algebra and Logic Seminar. Online. December 7, 2020. Slides.

Cambridge University Category Theory Seminar. Online. December 1, 2020. Slides.

Atlantic Category Theory Seminar. Online. November 3, 2020. Slides.

Australian Category Theory Seminar. Online. October 21, 2020. Slides.
Isotropy of algebraic theories.

Université catholique de Louvain Category Theory Seminar. Université catholique de Louvain. September 11, 2018. Slides.

Mathematical Foundations of Programming Semantics Conference. Dalhousie University. June 8, 2018. Slides.

Canadian Mathematical Society Summer Meeting, Graduate Student Session. University of New Brunswick. June 4, 2018. Slides.

Foundational Methods in Computer Science Conference. University of Ottawa. June 10, 2017. Slides.
Duality between cubes and bipointed sets.

Category Theory Octoberfest. University of Ottawa. October 2015.