In Spring 2024, I taught a PhD course on Epistemic Logic, FDD3029, at KTH.
I have previously taught a module for CS 4820, Intro to Analysis of Algorithms, at Cornell.
Moreover, during my time at Cornell I have TAed for courses including CS 4820, CS 6820 (Analysis of Algorithms), CS 4810 (Intro to Theory of Computing), CS 2110/1110 (Introduction to Computing using Python) and others. See my old teaching page at Cornell.