teaching

Applied Bayesian Modeling and Computation

Spring 2026. Covers model building and inference using probabilistic programming frameworks. Course notes and worked exercises are available as an online book.

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.