I am interested in the application of heavyweight program analysis, synthesis, and transformation techniques to practical software engineering problems. My company Tarski Technologies is developing the first commercial program repair (automated bug-fixing) system.