Research interests are in the areas of software engineering, programming languages and compilers. In particular, I am interested in static and dynamic program analysis for the purposes of testing, understanding, verification and maintenance of complex software systems.