Current:

Spring 2020: Computability and Logic

Link

Link 2

Link 3

Link 4

Spring 2020: Database Systems

Link 1

Link 2

Fall 2017, Spring 2018, Fall 2019, Spring 2020, Summer 2021 Database Systems, CMPT 354.

Summer 2018: Introduction to Formal Verification, CMPT 477/777

Past:

Summer 2017: Computability and Logic CMPT409/701

CMPT 882 Business Process Modelling: a Logic and Database Perspective

Introduction to Formal Verification, CMPT 477/777

Spring 2013: Special Topics in AI

CMPT 882 Business Process Modelling: a Logic and Database Perspective

Logic in Computer Science, Spring 2012

MACM 101 Discrete Mathematics, Fall 2010, Spring 2011, Fall 2012.

Future:

MACM 300  Automata Theory and Applications