I believe when i was at utoronto the compsci dept had a course like this (2005ish)