![]()
|
Spring 2009 Ph.D. Course Offerings
Computer Science Department |
Click on Course Section for a Description of the course, and on the CourseTitle for the Course Home Page
TENTATIVE - DAYS/TIMES SUBJECT TO CHANGE
| Course | X-Listed |
|||||||
| 18-741* | A | Advanced Computer Architecture | Onur Mutlu | MW | 9:30-11:20 | PHA18A | 12 | |
| 15-744* | A | Computer Networks | Zhang | MF | 3:00 - 4:20 | WeH 5409 | 12 | |
| 15-745* | A | Optimizing Compilers for Modern Architecture | Goldstein | TR | 12:00 - 1:20 | NSH 1305 | 12 | |
| 15-746 | A | 18-746 | Storage Systems | Ganger/Gibson | MW | 12:30-2:20 | TBA | 12 |
| 15-750* | A | Graduate Algorithms | Miller | MWF | 1:30 - 2:50 | WeH 4623 | 12 | |
| 15-780* | A | Advanced AI Concepts | Gordon/Sandholm | TR | 10:30-11:50 | WeH 4623 | 12 | |
| 15-781* | A | 10-701 | Machine Learning | Bar-Joseph | TR | 10:30 - 11:50 | WeH 5409 | 12 |
| 15-812* | A | Programming Language Semantics | Brookes | MW | 10:30 - 11:50 | NSH 1305 | 12 | |
| 15-818 | A3 | First Mini | Introduction to Separation Logic | Reynolds | MW | 12:00-1:20 | WeH 4623 | 6 |
| 15-818 | A4 | Second Mini | Research Topics in Separation Logic | Reynolds | MW | 12:00-1:20 | WeH 4623 | 6 |
| 15-819 | L | 18-879L | Hybrid Systems Analysis and Theorem Proving | Platzer | TR | 3:00-4:20 | WeH 4615A | 12 |
| 15-826 | A | Multimedia Databases and Datamining | Faloutsos | TR | 3:00-4:20 | WeH 4623 | 12 | |
| 15-845 | A | Current Research Issues in Computer Systems | Steenkiste | T | 12:00 - 1:20 | WeH 7220 | 2 | |
| 15-849 | B | Low Power Computing | Andersen | TR | 1:30-2:50 | WeH 4623 | 12 | |
| 15-851 | A | Computation and Deduction | Crary | MW | 1:30-2:50 | WeH 4615A | 12 | |
| 15-855* | A | An Intensive Introduction to Computational Complexity Theory | Guruswami/O'Donnell | TR | 1:30-2:50 | NSH 1305
| 12 | |
| 15-856 | A | 15-495/ 03-511/711 |
Computational Molecular Biology and Genomics | Durand | MW | 9:30-10:50 | MI 409 | 12 |
| 15-859 | B | Machine Learning Theory | Blum, A. | MW | 3:00 - 4:20 | WeH 4623 | 12 | |
| 15-869 | B | Advanced Topics in Graphics: Character Animation | Pollard | MW | 3:00-4:20 | WeH 4615A | 12 | |
| 15-873 | A | Advanced Algorithms For Computational Structural Biology | Langmead | TR | 12:00-1:20 | WeH 5409 | 12 | |
| 15-891 | A | V-Unit in Computer Science | Dias/Veloso | N/A | N/A | N/A | Variable | |
| 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 INTEREST TO CSD STUDENTS | ||||||||
| 18-739 | C | Special Topics in Security: Vulnerability, Defenses, and Malware Analysis | Brumley | TR | 10:30-11:50 | PH 126A | 12 | |
| 76-795 | A | 76-395 | Science Writing | Roth | W | 6:30-9:20 | WeH 5304 | |
| 80-713 | A | 80-413 | Category Theory | Awodey | TR | 3:00-4:20 | DH 1117 | 9-12 |