Teaching

Logic and Semantic of Programming Languages

Roles: Tutor (2019), Teaching Assistant (2019–2024), Co-Instructor (Substitute Lectures)(2023–2025)

• Course page

Automated Reasoning

Roles: Co-Instructor (Substitute Lectures)(2023–2024)

• Course page

Supervision of Student Projects and Thesis

Supervised Theses and Projects

• Project: Implementing symbolic Parikh images in OSTRICH
• Project: Local search for the membership problem in finite automata
• Bachelor’s Thesis: Implementing local search for the theory of strings
• Project: Categorizing SMT-LIB QF_Strings benchmarks based on attributes

Game Theory in Logic and Verification

Roles: Teaching Assistant and Co-Instructor (Substitute Lectures)(2021)

• Course page