Teaching

• Formal Semantics of Programming Languages. Spring 2024.

  In the past: Spring 2023, Spring 2022, Spring 2021.

• Basics of Mathematical Logic. Fall 2023.
• Graph Algorithms. Fall 2022.
• Foundations of Programming Languages. Fall 2021.