teaching

Logic and Foundations with Haskell

Spring 2025 and 2023. This course 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

This online lecture series covers the basics 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.