4 ms·

dawson Engler, you talking about?

• jlebar 9y ago
  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?