I am the Director of Automated Software Engineering at GrammaTech, where I lead the Program Synthesis and Binary Rewriting research areas. At GrammaTech I develop techniques automating the analysis, reverse engineering, maintenance, improvement, and synthesis of software systems. These techniques apply variously to software source code repositories and/or to stripped binary executables.