This course no longer exists. It was retired in Dec 2009, after a long an honorable career. The last final exam can give an idea of what the course was about.

But since life would be too sad without formal methods, CS-745/845 lives on!

Michel Charpentier <>
Last modified: Fri Jan 22 15:52:08 EST 2010