Associate Professor
Computer Science and Engineering -
UCSD
3235 Voigt Dr
La Jolla, CA 92093 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.
