I work with Program Analysis Laboratory to develop fundamentals and applications of program analysis and software testing. We seek automatic, practical solutions in the areas of software engineering, systems, programming languages and machine learning for improving software reliability, security and performance.