Older teaching
Fall 2019:
CISC 204: Logic for Computing Science
(most material available from onQ)
CISC 360: Programming Paradigms
(most material available from onQ)
Winter 2019 (Jan.-Apr. 2019):
CISC 865: Semantics of Programming Languages
Fall 2018:
CISC 260: Programming Paradigms
(most material available from onQ)
CISC 327 / CMPE 327: Software Quality Assurance
(most material available at this link)
Possible CISC 499 projects
Winter 2018 (Jan.-Apr. 2018):
CISC 865: Semantics of Programming Languages
Fall 2017:
CISC 327 / CMPE 327: Software Quality Assurance
Fall ("Winter 1") 2016 (UBC):
CPSC 311: Definition of Programming Languages
Fall ("Winter 1") 2015 (UBC):
CPSC 311: Definition of Programming Languages
Winter 2010 (McGill):
COMP 302: Programming Languages and Paradigms
Lecture notes on bidirectional typechecking