“‘I like to work on practical problems that require both theoretical insights and engineering. When looking for solutions, my guiding principles are elegance of ideas and simplicity of implementation. I am excited about developing new knowledge and tools to automate the mechanics of programming (such as searching for bugs or for code snippets that implement specific behaviors), so that people can focus their efforts on creative tasks—coming up with designs, insights, properties, and examples.'”
Read more of this terrific profile here.