Ü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 , 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