Zentrales Forschungsthema sind verschiedene Aspekte der Softwaretechnik und des Compilerbaus, insbesondere Requirements-Engineering-Methoden, -Formalismen und -Tools, experimentelles Software-Engineering, formale Methoden in der Softwareentwicklung, sowie die Entwicklung innovativer Softwarewerkzeuge.

• Beschreibung der Forschungsthemen
• Wissenschaftlicher Werdegang, Berufstätigkeit und wissenschaftliche Aktivitäten
• Betreute Dissertationen
• Publikationen