Research Interests

Research Interests: Programming languages and their compilers, analysis and verification, automatic parallelization and optimisation, formal methods and their applications, component-based software development, distributed and embedded systems.
Research Focus: Optimizing compilers for imperative, object-oriented and (data-) parallel languages, specifically program analysis and optimization, abstract interpretation and model-checking.