Associate Professor
Dept. of Computer Sciences -
Univ. of Wisconsin-Madison
1210 West Dayton Street (Office 6355)
Madison, WI 53706-1685 USA
loris@cs.wisc.edu
Check out this trick I did at POPL14 for Nada Amin and Aws Albarghouthi.
One day I'll update this, but for now here is some pasta.
I enjoy playing several instruments (piano, saxophone and drums mostly), but I'm equally bad at each of them.
I try to rock climb and play badminton as often as I can.
