I love to work on challenging technical problems. Improving how we write software through novel languages, analyses, and programming environments gives me great satisfaction. My objective is that in 10 years, we will routinely be able to write higher quality software, faster, and in a more maintainable way.

As a researcher, I write technical papers, give talks at conferences, serve on peer-reviewing program committees, and keep up with the state of the art in programming languages and static analysis. My other passion is putting theory into practice by writing high quality innovative software tools that developers can actually use in their daily work.