Talks

I like to typeset lecture notes when I give talks. Here are a few recent ones:

• Algorithmic Category Theory for Reinforcement Learning
  Presented by my Adjoint School group at ACT 2025 - slides (PDF)

• Domain Theory and Denotational Semantics
  Penn Graduate Logic Seminar (GLoS), 2025 - notes (PDF)

• Algebrization in Complexity Theory
  CIS 7000: Advanced Topics in Complexity Theory - slides (PDF)

• Game Comonads in Finite Model Theory
  MATH 6710: Advanced Topics in Category Theory - notes (PDF)

• Monads in Lean
  Lean reading seminar - notes (PDF)