Loris D'Antoni profile photo

Loris D'Antoni

Jacobs Faculty Scholar &
Professor

Computer Science and Engineering - UCSD (Office 3214)
3235 Voigt Dr, La Jolla, CA 92093 USA
ldantoni@ucsd.edu

LinkedIn Profile Twitter Profile GitHub Profile

Courses

CS-230
Principles of Programming Languages (S25, S26)
CS-291
Program synthesis (F24, F25)
CS-150b
Introduction to AI: Search and Reasoning (F26)
CS-536
Intro to Programming Languages and Compilers (S16, F16, S18, S19, S20, S21, S23)
CS-703
Program verification and synthesis (F15, F17, F18, F19, F20, F22)