Software Engineering

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

Offene PHD/PostDoc Stellen

Wir haben aktuell offene PhD/PostDoc Stellen zu besetzen. Mehr Informationen: hier.

Ü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