Expert on programming languages and program analysis, with work ranging from development of high-level languages to static analysis of low-level systems code. My current focus is on making modern program analysis tools extremely usable. I want to get more of these tools into the hands of developers where they can have an impact on code quality and productivity.