Location & approach

By car

The campus of the Technical University of Dortmund is located near the freeway junction Dortmund West, where the Sauerland line A45 crosses the Ruhr expressway B1/A40. The Dortmund-Eichlinghofen exit on the A45 leads to the South Campus, the Dortmund-Dorstfeld exit on the A40 leads to the North Campus. The university is signposted at both exits.

By bus and train

The "Dortmund Universität" S-Bahn station is located directly on the North Campus. From there, the S-Bahn line S1 runs every 20 or 30 minutes to Dortmund main station and in the opposite direction to Düsseldorf main station via Bochum, Essen and Duisburg. In addition, the university can be reached by bus lines 445, 447 and 462. Timetable information can be found on the homepage of the Rhine-Ruhr Transport Association, and DSW21 also offer an interactive route network ma

The H-Bahn

One of the landmarks of the TU Dortmund is the H-Bahn. Line 1 runs every 10 minutes between Dortmund Eichlinghofen and the Technology Center via Campus South and Dortmund University S, while Line 2 commutes every 5 minutes between Campus North and Campus South. It covers this distance in two minutes.

By plane

From Dortmund Airport, the AirportExpress takes just over 20 minutes to Dortmund's main train station, and from there, the S-Bahn takes you to the university. A wider range of international flight connections is offered by Düsseldorf Airport, about 60 kilometers away, which can be reached directly by S-Bahn from the university's train station.

ServicePortal UniMail

Contrast Deutsch

Location & approach

By car

The campus of the Technical University of Dortmund is located near the freeway junction Dortmund West, where the Sauerland line A45 crosses the Ruhr expressway B1/A40. The Dortmund-Eichlinghofen exit on the A45 leads to the South Campus, the Dortmund-Dorstfeld exit on the A40 leads to the North Campus. The university is signposted at both exits.

By bus and train

The "Dortmund Universität" S-Bahn station is located directly on the North Campus. From there, the S-Bahn line S1 runs every 20 or 30 minutes to Dortmund main station and in the opposite direction to Düsseldorf main station via Bochum, Essen and Duisburg. In addition, the university can be reached by bus lines 445, 447 and 462. Timetable information can be found on the homepage of the Rhine-Ruhr Transport Association, and DSW21 also offer an interactive route network ma

The H-Bahn

One of the landmarks of the TU Dortmund is the H-Bahn. Line 1 runs every 10 minutes between Dortmund Eichlinghofen and the Technology Center via Campus South and Dortmund University S, while Line 2 commutes every 5 minutes between Campus North and Campus South. It covers this distance in two minutes.

By plane

From Dortmund Airport, the AirportExpress takes just over 20 minutes to Dortmund's main train station, and from there, the S-Bahn takes you to the university. A wider range of international flight connections is offered by Düsseldorf Airport, about 60 kilometers away, which can be reached directly by S-Bahn from the university's train station.

ServicePortal UniMail

Research Profile

Research Area "Software, Security and Verification"

A central topic of computer science is the development of software, especially of extensive software systems, which now permeate almost every area of life. This concerns the entire life cycle of systems, from requirements analysis to maintenance of the resulting system. For this, methods and techniques for specification, design, maintenance and adaptation are essential.

Exemplary research topics include the following:

Development and application of formal specification methods for requirements analysis.
Use of formal analysis and verification methods during system design for early fault detection
Modeling and execution of business processes
Visualization of software
Algorithmic support for schema development, taking into account semantic constraints obtained from application modeling
Optimization of queries using advanced logic and object-oriented query languages that incorporate semantic constraints
Consideration of security requirements such as availability, integrity, authenticity, confidentiality, anonymity, and detectability

Current research results

Andreas Dann, Ben Hermann, Eric Bodden: UpCy: Safely Updating Outdated Dependencies. ICSE 2023: 1-12. DOI: 10.1109/ICSE48619.2023.00031
Malte Mues, Falk Howar: Data-Driven Design and Evaluation of SMT Meta-Solving Strategies: Balancing Performance, Accuracy, and Cost. ASE 2021: 179-190. DOI: 10.1109/ASE51524.2021.9678881
Stefan Winter, Christopher Steven Timperley, Ben Hermann, Jürgen Cito, Jonathan Bell, Michael Hilton, Dirk Beyer: A retrospective study of one decade of artifact evaluations. ESEC/SIGSOFT FSE 2022: 145-156. DOI: 10.1145/3540250.3549172
Zhijing Zhu, Robin Philipp, Constanze Hungar, Falk Howar: Systematization and Identification of Triggering Conditions: A Preliminary Step for Efficient Testing of Autonomous Vehicles. IV 2022: 798-805. DOI: 10.1109/IV51971.2022.9827238