Winter 2026 I am teaching CPSC 351 : Theoretical Foundations of Computer Science II at the University of Calgary.