Registered user since Fri 10 Apr 2015
My research focuses on programming languages with an emphasis on security, programmability, and mechanized proof. I particularly enjoy applying programming languages techniques to various domains. For example, I’m actively working on problems in Web security and software-deﬁned networking.
|POPL 2016|| ERC member in External Reviewing Committee within the Research Papers-track|
Artifact Evaluation Co-Chair in Organizing Committee
ERC member in External Reviewing Committee
|Show activities from other conferences|
View general profile