2003-2004

Autumn

• STATS116: Theory of Probability, Taylor
• CS157: Logic and Automated Reasoning, Manna
• CS242: Programming Languages, Mitchell

Winter

• CS256: Formal Methods for Concurrent and Reactive Systems, Manna
• CS259: Security Analysis of Network Protocols, Mitchell & Shmatikov
• CS261: Optimization and Algorithmic Paradigms, Plotkin

Spring

• CASA20si: Sustainable Community Agriculture
• CS145: Introduction to Databases, Widom
• CS356: Automatic Formal Verification Techniques, Dill
• MS&E91si: U.S. National Cybersecurity

2005-2006

Autumn

• CS143: Compilers, Aiken
• CS202: Law for Computer Science Professionals, Hansen
• CS221: Artificial Intelligence, Koller & Ng
• EE380/CS540: Computer Systems Laboratory Seminar

Winter

• CS243: Advanced Compiling Techniques, Ullman & Li
• CS245: Database System Principles, Garcia-Molina
• Humanities 35si: Venezuela's Bolivarian Revolution

Spring

• CS295: Software Engineering, Aiken
• CS548: Internet and Distributed Systems Seminar
• EE108B: Digital Systems II, Kozyrakis
• ENGR103: Public Speaking