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.
 |
|
 |
|
 |
Prof. Dr. Jakob Rehof
|
|
Prof. Dr.-Ing. Petra Wiederkehr
|
|
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
|