Jump label

Service navigation

Main navigation

You are here:

Sub navigation

Main content

Welcome to the chair for software engineering

Chair 14 of the Faculty of Computer Science at the TU Dortmund University is engaged in teaching and research in the areas of software architecture, business processes and the formal and logical foundations of software engineering. This research also serves as the basis for the affiliated Fraunhofer Institute for Software and Systems Engineering (ISST).

Our chair is divided into four research groups: The AG SEAL is headed by the chair holder Prof. Dr. Jakob Rehof. The AG Virtual Machining and the UA Ruhr-Professorship of the same name, which deals with the modelling and optimisation of real production processes, is lead by Prof. Dr.-Ing. Petra Wiederkehr and is closely connected to the ISF at the Faculty of Mechanical Engineering. The AG Automated Quality Assurance (AQUA) is lead by Prof. Dr. Falk Howar.


JRehof_web PWiederkehr_web FHowar_web

AG Software Engineering by Algorithms and Logic (SEAL)

Prof. Dr. Jakob Rehof

AG Virtual Machining (VM)

Prof. Dr.-Ing. Petra Wiederkehr

AG Automated Quality Assurance (AQUA)

Prof. Dr. Falk Howar

  • Programmsynthese
  • Algorithmen und Komplexität insb. in Typtheorie und Logik
  • Typsysteme und Typtheorie
  • Lambda-Kalkül
  • Theorie von Prozessen 
  • Programmiersprachen
  • Programmkorrektheit
  • Geometrisch-physikalische Modellierung, Simulation und Optimierung realer Fertigungsprozesse
  • Interdisziplinäre Zusammenarbeit mit Produktionstechnik, Materialwissenschaften und Mechanik
  • Lernbasierte Optimierung von Fräsprozessen
  • Exploration von Sensordaten
  • Analyse und Modellierung von Prozessdynamik
  • Graphische Modellierung zur Visualisierung von Fertigungsverfahren und multidimensionaler Datenströme
  • Modellierung, Test und Verifikation
    • Absicherung autonomer Fahrfunktionen
    • Formale Sprachen für Anforderungen
    • Automatenlernen
    • Software Model Checking
    • Symbolische Ausführung
  • Vorgehen und Methoden
    • Empirische Analyse bestehender Ansätze
    • Innovationsmanagement
    • Werkzeuge für formale Methoden

Sub content


Ute Joschko
Secretariat Chair 14
Tel.: 0231 755-7953