COSC1020 Intro. to Computer Science I
COSC1030 Intro. to Computer Science II
COSC2001 Intro. to Theory of Computation
MATH2090 Intro. to Mathematical Logic
CSE3341 Intro. to Program Verification
CSE3311 Software Design
CSE4351 Real-Time Systems Theory
CSE4352 Real-Time Systems Practice
CSE4312 Software Engineering Requirements
CSE6411 Programming Logic Complex Systems
CSE6342 OO Software Construction
ELE1643 Special Topics in Control, U of T
EECS4090 Software Project
EECS3342 Specification and Refinement
EECS3311 Software Design
EECS4312 Software Engineering Requirements
