Mein Themengebiet liegt im Bereich "Design Understanding". Ich untersuche, wie Entwickler darin unterstützt werden können, ein unbekanntes Design zu verstehen. Dies soll die Einarbeitung oder das Debugging des Designs erleichtern. Zur Automatisierung setze ich dabei zum Beispiel formale Methoden ein, die auch in der Eigenschaftsprüfung Anwendung finden.