Teaching

Winter 2025

• Teaching Assistant, University of Alberta, Canada
• CMPUT 272: Formal Systems and Logic in Computing Science

Responsibilities

• Conducting 3-hours seminars to help undergraduate students understand formal systems and logic. My role is to organize and deliver these seminars.
• I am also responsible for grading quizzes and exams, providing valuable feedback to students, and offering support to understand the course material.

Fall 2024

• Teaching Assistant, University of Alberta, Canada
• CMPUT 272: Formal Systems and Logic in Computing Science

Winter 2024

• Teaching Assistant, University of Alberta, Canada
• CMPUT 272: Formal Systems and Logic in Computing Science

Fall 2023

• Teaching Assistant, University of Alberta, Canada
• CMPUT 272: Formal Systems and Logic in Computing Science