CS-Theory classes
Current quarter schedule
Winter 97
- cs154:
Introduction to Automata and Complexity Theory (Vaughn Pratt)
- cs154N:
Introduction to NP Completeness (Vaughn Pratt)
- cs261:
Optimization and Algorithmic Paradigms
Autumn 96
- cs345:
Advanced Topics in Database Systems (Jeffrey Ullman)
- cs157:
Logic and Automated Reasoning (Tomás Uribe)
- cs161:
Data Structures and Algorithms (Serge Plotkin)
- cs242:
Programming Languages (John Mitchell)
- cs256:
Formal Methods for Concurrent and Reactive Systems (Henny Sipma)
- cs348:
Computer Graphics: Mathematical Foundations (Leo Guibas)
- cs353:
Algebra for Computer Scientists (Vaughn Pratt)
- cs365:
Randomized Algorithms (Rajeev Motwani)
Summer 96
No theory courses offered.
Spring 96
- cs109b:
Introduction to Computer Science (Jeffrey Ullman)
- cs154:
Introduction to Automata and Complexity Theory (Rajeev Motwani)
- cs154N:
Introduction to NP Completeness (Rajeev Motwani)
- cs161:
Data Structures and Algorithms (Leo Guibas)
- cs260:
Concrete Mathematics (Andrei Broder)
- cs357:
Topics in Formal Methods (Zohar Manna)
- cs358:
Topics in Programming Language Theory (John Mitchell)
- cs368:
Geometric Algorithms (Leo Guibas)
- cs369:
Topics in Analysis of Algorithms (Serge Plotkin)
Winter 96
- cs109a:
Introduction to Computer Science (Jeffrey Ullman)
- cs154:
Introduction to Automata and Complexity Theory (Rob van Glabbeek)
- cs256L:
Formal Methods for Concurrent and Reactive Systems (lab)
- cs256:
Formal Methods for Concurrent and Reactive Systems (Zohar Manna)
- cs 361a:
Advanced Algorithms (Rajeev Motwani)
- cs 363:
Network Optimization (Serge Plotkin)
www-theory@CS.Stanford.EDU
(last updated: June 12, 1996)