Coen De Roover
Phone: +32 2 629 3492
Vrije Universiteit Brussel
Faculty of Sciences, DINF – SOFT
B-1050 Brussels, Belgium
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.