Skip to main content.

Research in a nutshell

The central theme of my research is the design and application of source code analysis and transformation techniques. These form the foundation of tool support for quality assurance problems as pressing as bug detection, validation of an implementation with respect to its design, and program repair.



Current research interests

Other interests related to computer science