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)
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.