Computer Science 599:
Special Topics (2.0-4.0 units, max 9)
Course content to be selected each semester from recent developments in computer science.
| Section | Session | Units | Type | Time | Days | Registered | Instructor | Location | Syllabus | Info |
|---|---|---|---|---|---|---|---|---|---|---|
| Automated Reasoning and Verification | ||||||||||
| 30161D | 048 | 4.0 | Lecture | 2:00-3:50pm | Mon, Wed | 6 of 20 | Chao Wang | KDC236 | PDF (1709052 MB) |   |
| Deep Learning and its Applications | ||||||||||
| 30240D | 048 | 4.0 | Lecture | 5:00-8:20pm | Wednesday | 172 of 240 | Joseph Lim | SGM124 | PDF (198566 KB) | |
| Heuristic Search in Artificial Intelligence | ||||||||||
| 30254D | 048 | 4.0 | Lecture | 3:00-6:20pm | Tuesday | 9 of 25 | Ariel Felner | VKC111 | PDF (461282 KB) | |