Department of Computer Science 
I see computer science as a toolmaking profession. I am especially interested in the tools that aid the toolmakers: those programs that make software development easier, faster, and more reliable. In particular, my work focuses on software testing and automated software development tools with strong emphasis on code generation, program transformation, and program analysis.