Alex Summers

Academic Information

  • MSc Joint Mathematics and Computer Science, Imperial College London, UK (Awarded July 2004)
  • PhD Computer Science, Imperial College London, UK (Awarded July 2009)
  • Postdoc in Computer Science, ETH Zurich, Switzerland (2009-2014)
  • Oberassistent (Senior Researcher) in Computer Science, ETH Zurich, Switzerland (2014-2020)
  • Associate Professor in Computer Science, University of British Columbia, Canada (March 2020 onwards)

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