Graduate Courses

Spring 2008

CS6964: Theorem Proving (3.0)
CS6470: Advanced Compilers (3.0)
PHIL6200: Symbolic Logic (4.0)
CS7931: AMPS seminar (1.0)

Fall 2007

CS6150 : Advanced Algorithms (3.0)
CS6110 : Formal Methods in System Design (3.0)
CS7970 : PhD Dissertation Research (3.0)
CS7931 : Programming Languages and Systems (AMPS) seminar (1.0)
CS7930 : Colloquium (1.0)

Summer 2007

CS7970 : PhD Dissertation Research (3.0)

Spring 2007

CS5470 : Compiler Principles and Techniques (4.0)
CS6100 : Foundations of Computer Science (3.0)
CS7820 : Parallel Computer Architecture (3.0)
CS7940 : AMPS seminar (1.0)

Fall 2006

CS6460 : Operating Systems (4.0)
CS6480 : Computer Networks (3.0)
CS6810 : Advanced Computer Architecture (3.0)
CS5961 : Graduate TA workshop (1.0)
CS7934 : CSL seminar (1.0)

This document was translated from L^AT_EX by H^EV^EA.