Die Gruppe "Reliable Software and Distributed Systems" unter der Leitung von Malte Mues beschäftigt sich mit Entwicklungsstrategien von Software. Uns interessieren Methoden und Verfahren, die zu qualitativ hochwertiger Software führen. Bisherige Schwerpunkte sind dabei die Programmverifkation von Java Webanwendungen im Hinblick auf IT-Sicherheitsschwachstellen sowie das Design von Low-Code Sprachen für einen niedrigschwelligen Zugang zu Domänenspezifischen Datenanalyselösungen.
Uns interessieren, aber auch alle anderen Testverfahren, (semi-)formale Methoden und Entwurfsstrategien, die für zuverlässige Softwaresysteme hilfreich sind, unabhängig davon ob sie verteilt oder lokal ausgeführt werden.