Loris D'Antoni

Loris D'Antoni

Associate Professor

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

Courses

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)