Talks

Here are some notes/videos of talks I’ve given:

• Algolean - Formalizing Algorithms and Complexity with Free Monads - video

• 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)