![[SCS dragon logo]](file:///J|/cs.cmu.edu/academic/csd/grad/phd/Program/courses/fa08/scslogo.gif)
Computer Science Department
|
Fall
2009 Ph.D. Course Offerings
Computer Science Department |
Click on Course Section for a Description of the course, and on the Course Title for the Course Home Page
| Course |
|
X-Listed |
|
|
|
|
|
|
| 15-740* | A | 18-740 |
Computer Architecture | Mowry | TR W | 1:30-2:50 | WEH 5409 | 12 |
| 15-744* | A | Computer Networks | Seshan | MWF | 10:30 - 11:50 | GHC 4303 | 12 | |
| 15-745 | A | Optimizing Compilers for Modern Architecture | Goldstein | MWF | 1:30 - 2:50 | WEH 4615A | 12 | |
| 15-781* | A | 10-701 | Machine Learning | Guestrin | MW | 10:30-11:50 | WEH 7500 | 12 |
| 15-814* | A | Type Systems for Programming Languages | Harper | TR | 10:30-11:50 | GHC 5222 | 12 | |
| 15-817 |
A |
| Intro to Model Checking |
Clarke | R | 3:00-4:20 | GHC 5222 | 6 |
| 15-819 | Special Topics in Programming Languages: | |||||||
| F | Advanced Topics in Programming Languages |
Crary | MW | 3:00-4:20 | GHC 4101 | 12 | ||
| M | Data, Code Decisions |
Platzer | TR | 1:30-2:50 | GHC 4301 | 12 | ||
| 15-821 | A | 18-843 STARTS 8/25 - first four lectures are background material |
Mobile and Pervasive Computing | Satya / Siewiorek | T | 3:00 - 6:00 | Gates 9115 | 12 |
| 15-829 | G | 18-732 STARTS 8/24 |
Secure Software Systems | Brumley | MW | 10:30-12:20 | WEH 4623 | 12 |
| 15-845 | A | Current Research Issues in Computer Systems | Steenkiste | T | 12:00 - 1:20 | GHC 9115 | 2 | |
| 15-849 | Advanced Topics in Computer Systems: | |||||||
| I | STARTS 8/31 | Advanced Networks | Steenkiste | MW | 10:30-11:50 | GHC 4211 | 12 | |
| 15-853 | A | Algorithms in the Real World | Blelloch | TR | 10:30 - 11:50 | GHC 4102 | 12 | |
| 15-856 | A | 15-495 03-511/711 02-711 STARTS 8/25 |
Computational Molecular Biology and Genomics | Durand | TR | 10:30-11:50 | DH 1211 | 12 |
| 15-857 | A | 47-774/47-775 | Performance Modeling and Design of Computer Systems | Harchol-Balter | MW | 1:30 - 2:50 | GHC 4307 | 12 |
| 15-859 | Special Topics in Theory: | |||||||
| E | Advanced Algorithms | Sleator/Gupta | MW | 3:00 - 4:20 | GHC 4303 | 12 | ||
| N | Spectral Graph Theory | Miller | TR | 1:30 - 2:50 | GHC 4211 | 12 | ||
| T | 15-503 STARTS 8/24 |
Introduction to Theoretical Cryptography | Blum, M. | MW | 10:30 - 11:50 | GHC 4101 | 12 | |
| 15-871 | A | 15-507 03-512/712 STARTS 8/25 |
Computational Methods for Biological Modeling and Simulation | Schwartz | TR | 3:00-4:20 | PH A21 | 12 |
| 15-818 |
A2 | 15-321 | Research Methods for Experimental Computer Science | Maxion | TR | 9:00 - 10:20 | GHC 4101 | 6 |
| 15-883 | A | STARTS 8/24 | Computational Models of Neural Systems | Touretzky | MW | 4:30 - 5:50 | GHC 4101 | 12 |
| 15-889 |
A1 Mini |
STARTS 8/24 |
Introduction to Computer Science Education | Sudol | MW | 1:30-2:50 | GHC 4101 | 6 |
| 15-891 | A | 16-891A | V-Unit in Computer Science | Veloso/Dias | TBA | TBA | TBA | 1-36 |
| 15-892 | A | Foundations of Electronic Marketplaces | Sandholm | TR | 10:30 - 11:50 | GHC 4211 | 12 | |
| 15-894 | A | Technically Speaking | Rudich | T R | 3:00-4:20 12:00-1:20 |
GHC 4101 GHC 5316 | 12 | |
| 15-997 | A | Graduate Reading and Research CSD PhD Students Only | Variable | |||||
| 15-998 | A | Computer Science Practicum CSD PhD Students Only | Variable | |||||
| OTHER COURSES OF POSSIBLE INTEREST | ||||||||
| 08-733 | A | Privacy Policy, Law, and Technology | Cranor | TR | 3:00-4:20 | Wean 5320 | 12 | |
| 18-739 | A | Foundations of Security and Privacy | Datta | TR | 10:30-11:50 | SH 208 | 12 | |
| 18-667 | A | Design of Integrated Embedded Systems | Marculescu | MW | 2:30-4:20 | Wean 8427 | 12 | |
| 80-814 | A | Categorical Logic | Awodey | M | 3:30-5:50 | Baker Hall 150 | 12 | |