Loris D'Antoni

Loris D'Antoni

Assistant Professor

Dept. of Computer Sciences - Univ. of Wisconsin-Madison
1210 West Dayton Street (Office 6355)
Madison, WI 53706-1685 USA
loris@cs.wisc.edu

Courses

CS-536
Intro to Programming Languages and Compilers (S16, F16, S18, S19)
CS-703
Program verification and synthesis (F15, F17, F18)