Courses at Toronto

This is a link (for my use) of courses I've taken (in some form or another) while staying at the University of Toronto. A list of University of Alberta courses might be here.

These are my courses from the spring term 2002.

• CSC 418/2504 - Computer Graphics
  I want to learn how to draw pictures on my computer.

• CSC 2509 - Data Management Systems
  I was assured this course would be in more detail than my undergrad courses... so far, it's on par with my second year database course! Alas, it's too late to switch into something less trivial and more interesting. :(

• CSC 2414 - Topics in Applied Discrete Mathematics: Analysis of Algorithms
  Recreational summations in the style of Donald Knuth.

• CSC 2429 - Topics in Complexity Theory: Proof Complexity and Bounded Arithmetic
  Proof systems according to Stephen Cook.

• CSC 2410 - Algorithms in Graph Theory
  Nearly forgot this one. Learning Mike Molloy's version of graph theory.

• FSL 102 - Introductory French II
  Fulfilling a promise to learn French, as an auditer.

• CSC 366 - Computational Complexity and Computability
  I'm TAing for the engineers this term. Actually, they tend to ask better questions, I can't complain.

• CSC 2427 - Structured Families of Graphs
  Taught by my supervisor Derek Corneil, an interesting look at assorted themes linking important types of graphs.

• CSC 2108 - Automated Verification
  A look at model checking and theorem proving. And it qualifies for the software engineering breadth requirement (lucky me)!

• CSC 2426 - Topics in Cryptography
  Charles Rackoff's view of the theories behind security and cryptography. Challenging yet lots of fun.

• CSC 324H - Principles of Programming Languages
  I'm TAing this course... teaching tutorials, marking assignments, you know, the usual.