I enjoy working with compilers and programming languages, their design, theory, and implementation. My current research interest is secure compilation.