Software Engineering
Leiter: Prof. Dr. Reiner Hähnle

Ü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