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.
    Automated Reasoning and Verification
    30161D0484.0Lecture2:00-3:50pmMon, Wed6 of 20Chao WangKDC236PDF (1709052 MB)feesession dates
    Deep Learning and its Applications
    30240D0484.0Lecture5:00-8:20pmWednesday172 of 240Joseph LimSGM124PDF (198566 KB)feesession dates
    Heuristic Search in Artificial Intelligence
    30254D0484.0Lecture3:00-6:20pmTuesday9 of 25Ariel FelnerVKC111PDF (461282 KB)feesession dates
    Information accurate as of March 4, 2018 4:29 pm.