|
|
||||
TeachingThe following are all the undergraduate courses 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 CSC 510, Model-Based Testing of Reactive Systems, and CSC 515, Concurrent and Real-Time Systems. I also teach occasionally (depending on the students' demand) CSC 506, Parallel Models and Algorithms. |
||||

