Talks

I like to typeset lecture notes when I give talks. Here are a few I’ve given

Algorithmic Category Theory for Reinforcement Learning Slideshow by my group at the Adjoint School, presented at ACT 2025 PDF
Domain Theory and Denotational Semantics
Penn Graduate Logic Seminar (GLoS), 2025 PDF
Algebrization in Complexity Theory
Slideshow presentation of “Algebrization: A New Barrier in Complexity Theory” by Aaronson and Wigderson PDF
CIS 7000: Advanced Topics in Complexity Theory
Game Comonads in Finite Model Theory
Lecture notes on category theory and finite model theory PDF
MATH 6710: Advanced Topics in Category Theory
Monads in Lean
Introduction to monads in Lean and in category theory PDF
Lean reading seminar