Graduate Courses (since 2010)
CAS 705, Computability and
Complexity
CAS 703, Software Design
CAS 707, Formal Specification
Techniques
CAS 724, Concurrency Theory
Undergraduate Courses (since 2010)
COMP SCI 2C03, Data Structures and Algorithms
COMP SCI 3SD3, Concurrent Systems
SOFT ENG 3BB4, Software Design
III – Concurrent System Design
COMP SCI / SOFT ENG 3RA3, Software Requirements and Security
Considerations