Alex Summers
Associate Head of Grad Affairs & Associate Professor
Role Email
Email
Office
ICCS
307
Awards
Courses
2025 Winter
CPSC_V 539S - Term 1 - Topics in Programming Languages - PROGRAMVERIFIERS
2023 Winter
CPSC_V 410 - Term 2 - Advanced Software Engineering
CPSC_V 539S - Term 1 - Topics in Programming Languages - PROGRAMVERIFIERS
2022 Winter
CPSC_V 410 - Term 1 - Advanced Software Engineering
2021 Winter
CPSC_V 539S - Term 2 - Topics in Programming Languages - PROGRAMVERIFIERS
CPSC_V 410 - Term 1 - Advanced Software Engineering
2020 Winter
CPSC_V 539S - Term 2 - Topics in Programming Languages - PROGRAMVERIFIERS
CPSC_V 410 - Term 1 - Advanced Software Engineering
2020 Summer
CPSC_V 410 - Term 1 - Advanced Software Engineering