Teaching

Courses I have taught or am currently teaching.

IB107: Computability and Complexity

Seminar tutor: 2025 - now, homework corrections: 2023 - now

IB110: Introduction to Informatics

Seminar tutor, homework corrections: 2024 - now

IB005: Formal Languages and Automata

Seminar tutor, homework corrections: 2023 - now

IB000: Mathematical Foundations of Computer Science

Seminar tutor, homework corrections: 2021 - 2024.