The research is mainly concerned with various aspects of software engineering and compiler construction. In particular the emphasis is on methods, tools and formalisms for requirements engineering, experimental software engineering, formal methods for software development and the design of innovative software tools.

• Characterisation of reserach topics
• Academic CV, professional and scientific activities
• Supervised Ph.D. theses
• Publications