Designing secure and scalable distributed applications is incredibly important but almost impossible when policies and workloads change dynamically.

I study language-based approaches to security and distributed systems that offer strong security guarantees and adaptive performance in dynamic environments.

I am looking for academic faculty jobs starting Fall 2016! Here are my CV, research, and teaching statements.






  • IC3
    The Initiative for Cryptocurrencies and Contracts.
  • Fabric
    A language and system for scalable and secure distributed computation on persistent objects.
  • Jif
    An extension of Java with static information flow control.
  • Polyglot
    An extensible compiler framework for Java.
  • StatusQuo
    Automatically refactoring database applications for performance.