CSCM29 Blockchain, Cryptocurrencies and Smart Contracts (taught in ’18 — ’20)

CSC368/CSCM68 Embedded System Design (taught in ’11 — ’17)

CS-170 Modelling Computing Systems I (taught in ’11 — ’13)

CS-106 Discrete Mathematics for Computer Science I (taught in ’10)

CS_242 Algorithms (taught in ’09, ’10)

CSP126 Practicals to Discrete Mathematics for Computer Science II (taught in ’08,’09)

CSP106 Practicals to Discrete Mathematics for Computer Science I (taught in ’08,’09)

CS_125 Logic Programming (taught in ’05 –’08)

CS-332/CS-M32 Algorithms ’09/’10 (taught in ’08,’09)

CS_346/CS_M56 Logic, Foundations and Computation (taught in ’07 — ’09)

CS_316/CS_M16 Logic and Semantics (taught in ’06, coordinated in ’08)