Über uns

Das Fachgebiet „Software Engineering“ gegründet im September 2011 steht unter der Leitung von Prof. Dr. Reiner Hähnle.

Auf diesen Seiten finden Sie die Kontaktdaten der Mitarbeiter:innen, Beschreibungen und Verweise auf aktuelle Forschungsprojekte, ausgeschriebene Bachelor- und Masterarbeiten sowie aktuelle Neuigkeiten.

Forschungsschwerpunkte:

• Formale Spezifikation und deduktive Verifikation von Programmen
• Modellierung und statische Analyse nebenläufiger und verteilter Systeme