2024/25 -
Theories of Computation (B.Sc. Computer Science, University of Birmingham)
-
Mathematical and Logical Foundations of CS (B.Sc. Computer Science, University of Birmingham)
2020/21 -
Foundations of Logic: Logic I (B.A. Philosophy, Ruhr-University Bochum)
2019/20 -
Physics (B.Sc. Mechanical Engineering, Ruhr-University Bochum)