Forschende

Prof. Schlingloff erforscht die systematische Entwicklung und Qualitätssicherung komplexer Softwaresysteme, insbesondere im Kontext von Digital Twins, automatisierten Bahnsystemen und inkrementeller Softwareentwicklung.

PD Dr. Popova-Zeugmann erforscht die formale Modellierung und Verifikation von verteilten, zeitabhängigen Systemen mittels Petri-Netzen — insbesondere wie man durch Prioritäten und Zeitbeschränkungen das Verhalten solcher Netze kontrolliert und stabilisiert.