My research interest spans programming languages, security, and systems (intersecting also with software engineering), focusing on developing novel theories, techniques, and tools for improving the performance, usability, reliability, and security of real-world software. In particular, I am currently working on static program analysis and compiler optimization problems.