Forschende

Prof. Hafner erforscht derzeit, wie künstliche Systeme (Roboter) lernen, sich selbst wahrnehmen und ihr Verhalten vorhersagen können — ähnlich wie Menschen.

Prof. Grunske erforscht derzeit die automatisierte Qualitätssicherung und Fehlerdiagnose in Softwaresystemen, mit aktuellem Fokus auf die Erkennung von Inkonsistenzen zwischen Code und Dokumentation sowie auf intelligente Debugging-Methoden.

Prof. Wilke Berenguer erforscht mathematische Modelle von Populationen mit Ruhephasen (Dormanz), insbesondere wie Organismen wie Bakterien oder Pflanzen durch Inaktivität Umweltstress überstehen und genetische Vielfalt bewahren.