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.

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