Computer Science 699:
Special Topics (2.0-4.0 units, max 8)
Course content to be selected each semester from recent developments in computer science.
- Restriction: Registration open to the following class level(s): Doctoral Student
| Section | Session | Units | Type | Time | Days | Registered | Instructor | Location | Syllabus | Info |
|---|---|---|---|---|---|---|---|---|---|---|
| Computational Human Robot Interaction | ||||||||||
| 30010D | 048 | 4.0 | Lecture | 2:00-3:50pm | Mon, Wed | 20 of 30 | Stefanos Nikolaidis |   | ||
| Computer-Aided Verification | ||||||||||
| 30131D | 048 | 4.0 | Lecture | 4:00-5:50pm | Tue, Thu | 8 of 30 | Mukund Raghothaman | ONLINE | PDF (337823 KB) | |
| Crafting a Research Agenda | ||||||||||
| 30166D | 048 | 4.0 | Lecture | 4:00-5:50pm | Mon, Wed | 39 of 58 | Barath Raghavan | ONLINE |  | |
| Formal Methods for Robotics | ||||||||||
| 30228D | 048 | 4.0 | Lecture | 2:00-5:20pm | Monday | 10 of 30 | Jyotirmoy Deshmukh | ONLINE | PDF (257408 KB) | |