Talks and presentations

Fuzzy Type Theory for Opinion Dynamics

July 20, 2022

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.

Type Theory and Agda

April 30, 2021

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.