Talk, What is... Seminar 2022, Johns Hopkins University, Baltimore, Maryland
A talk I gave for the Johns Hopkins University What is… Seminar 2022, in which I give an introduction to constructive mathematics and synthetic differential geometry. A recording of the talk can be found here, and the abstract can be found below.
Talk, Applied Category Theory 2022, University of Strathclyde, Glasgow, Scotland
A talk I gave during the Applied Category Theory Conference 2022, in which I discussed my group’s work during the research week of the Adjoint School 2022. A recording of the talk can be found here, while the slides can be found here.
Talk, Directed Reading Program 2021, Johns Hopkins University, Baltimore, Maryland
A ten-minute talk I gave at the conclusion of Johns Hopkins University’s Directed Reading Program 2021. No recording is available, but the slides can be found here.