Software Engineering

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

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