4 ms·

Correct, one of the people listed as teaching this course.

• zodiac 9y ago
  Wow I saw this page first without realising it's him. I remember being blown away by his research, and the fact that they're in separate areas (symbolic execution and exokernels). It seemed like he'd stopped publishing a few years ago - do you know why?