Teaching Experience
Universität Tübingen
- Tutorial Automated Reasoning (conception & supervision)
- Tutorial Computer Science II (conception & supervision)
- Lecture & tutorial SAT Solving and Applications (conception & supervision)
- Practical course Automated Reasoning (conception & supervision)
Heriot-Watt University Edinburgh
- Tutorial & lab course Software Development 1 (tutor)
- Lab course Algorithms and Datastructures 2 (tutor)
Universität Passau
- Tutorial Foundations of Computer Science (tutor)
- Tutorial Algorithms and Datastructures (tutor)
- Tutorial Algebra & Logic (tutor)
- Tutorial Basics of Computer Science for Teachers (conception & supervision)
- Tutorial & lab course Programming (conception & supervision)
- Tutorial & lab course Linear Algebra (tutor)
Materials
… to be completed!