CMPUT 272 — Formal Systems and Logic in Computing Science
Winter 2026
Head Teaching Assistant · University of Alberta, Canada

I am serving as a Head TA for this term. My responsibilities include managing and assigning all other TAs to specific tasks within CMPUT 272, such as proctoring midterms, running labs, and marking quizzes. Part of this role involves load balancing to ensure each TA receives their expected number of hours per week.

I also help prepare weekly quizzes and assign TAs to run them, coordinate student accommodations, proofread midterms and finals along with their solutions and marking guides, and handle student re-marking requests.

CMPUT 272 — Formal Systems and Logic in Computing Science
Teaching Assistant (Fall 2025, Winter 2025, Fall 2024, Winter 2024, Fall 2023) · University of Alberta, Canada

Led weekly seminars to support student understanding of formal systems and logic. Graded quizzes and exams, and provided detailed feedback to help students strengthen their reasoning and problem-solving skills.