teaching

Topology in Lean

Fall 2025. Introduces students to theorem proving in Lean, by formalizing basic concepts in topology. Materials are available on GitHub.

Logic and Foundations with Haskell

Spring 2025 and 2023. Covers logic, proof theory, and foundations of math with the help of the functional programming language Haskell. The full course is available on SWITCHcast and YouTube.

Topology

Online lecture series. Covers the basics of point-set topology. You can find the course playlist on YouTube.

Further video lectures

I have published over 80 video lectures on my YouTube channel.