Academic Appointments


  • Visiting Assistant Professor, Computer Science

Professional Education


  • PhD, KU Leuven, CS (2015)

Current Research and Scholarly Interests


Foundations of programming languages, PL security, secure compilation

All Publications