Logic and Semantic of Programming Languages

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