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
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)