Teaching

The following are all the undergraduate courses that I teach at Bishop's (some more occasionally than others), together with their most recent Web sites.

Beside the cross-listed courses, I also teach regularly CS 510, Model-Based Testing of Reactive Systems, and CS 515, Concurrent and Real-Time Systems. I also teach occasionally (depending on the students' demand) CS 506, Parallel Models and Algorithms.