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-defined networking.