Research Interests

Keywords: Termination analysis, Resource usage analysis, Semantic-based static program analysis, Abstract interpretation, Data flow analysis.

My research expertise is in the area of formal approaches to program analysis. This includes developing program analysis tools, for imperative (e.g. Java bytecode) and declarative (e.g. Prolog) Calvin and Hobbes programming languages, and their underlying theory in order to statically (i.e. without execution) infer run-time properties of a given program. These tools are used for certification, verification, debugging, optimization and program development. The main approach used in developing these tools is abstract interpretation which is a general theory for approximating discrete dynamic systems. This theory is widely used in the context of semantic-based program analysis which is concerned with the evaluation of approximations of a program's semantics based on abstractions of the semantic domain.