Anfahrt & Lageplan

Mit dem Auto

Der Campus der Technischen Universität Dortmund liegt in der Nähe des Autobahnkreuzes Dortmund West, wo die Sauerlandlinie A45 den Ruhrschnellweg B1/A40 kreuzt. Die Abfahrt Dortmund-Eichlinghofen auf der A45 führt zum Campus Süd, die Abfahrt Dortmund-Dorstfeld auf der A40 zum Campus-Nord. An beiden Ausfahrten ist die Universität ausgeschildert.

Mit Bus und Bahn

Direkt auf dem Campus Nord befindet sich die S-Bahn-Station „Dortmund Universität“. Von dort fährt die S-Bahn-Linie S1 im 20- oder 30-Minuten-Takt zum Hauptbahnhof Dortmund und in der Gegenrichtung zum Hauptbahnhof Düsseldorf über Bochum, Essen und Duisburg. Außerdem ist die Universität mit den Buslinien 445, 447 und 462 zu erreichen. Eine Fahrplanauskunft findet sich auf der Homepage des Verkehrsverbundes Rhein-Ruhr, außerdem bieten die DSW21 einen interaktiven Liniennetzplan an.

Die H-Bahn

Zu den Wahrzeichen der TU Dortmund gehört die H-Bahn. Linie 1 verkehrt im 10-Minuten-Takt zwischen Dortmund Eichlinghofen und dem Technologiezentrum über Campus Süd und Dortmund Universität S, Linie 2 pendelt im 5-Minuten-Takt zwischen Campus Nord und Campus Süd. Diese Strecke legt sie in zwei Minuten zurück.

Mit dem Flugzeug

Vom Flughafen Dortmund aus gelangt man mit dem AirportExpress innerhalb von gut 20 Minuten zum Dortmunder Hauptbahnhof und von dort mit der S-Bahn zur Universität. Ein größeres Angebot an internationalen Flugverbindungen bietet der etwa 60 Kilometer entfernte Flughafen Düsseldorf, der direkt mit der S-Bahn vom Bahnhof der Universität zu erreichen ist.

Campuswetter

Aktuelles Wetter

Wetterprognose

Mehr zur Wetterstation der TU Dortmund

ServicePortal UniMail

Kontrast English

Campuswetter

Aktuelles Wetter

Wetterprognose

Mehr zur Wetterstation der TU Dortmund

Anfahrt & Lageplan

Mit dem Auto

Der Campus der Technischen Universität Dortmund liegt in der Nähe des Autobahnkreuzes Dortmund West, wo die Sauerlandlinie A45 den Ruhrschnellweg B1/A40 kreuzt. Die Abfahrt Dortmund-Eichlinghofen auf der A45 führt zum Campus Süd, die Abfahrt Dortmund-Dorstfeld auf der A40 zum Campus-Nord. An beiden Ausfahrten ist die Universität ausgeschildert.

Mit Bus und Bahn

Direkt auf dem Campus Nord befindet sich die S-Bahn-Station „Dortmund Universität“. Von dort fährt die S-Bahn-Linie S1 im 20- oder 30-Minuten-Takt zum Hauptbahnhof Dortmund und in der Gegenrichtung zum Hauptbahnhof Düsseldorf über Bochum, Essen und Duisburg. Außerdem ist die Universität mit den Buslinien 445, 447 und 462 zu erreichen. Eine Fahrplanauskunft findet sich auf der Homepage des Verkehrsverbundes Rhein-Ruhr, außerdem bieten die DSW21 einen interaktiven Liniennetzplan an.

Die H-Bahn

Zu den Wahrzeichen der TU Dortmund gehört die H-Bahn. Linie 1 verkehrt im 10-Minuten-Takt zwischen Dortmund Eichlinghofen und dem Technologiezentrum über Campus Süd und Dortmund Universität S, Linie 2 pendelt im 5-Minuten-Takt zwischen Campus Nord und Campus Süd. Diese Strecke legt sie in zwei Minuten zurück.

Mit dem Flugzeug

Vom Flughafen Dortmund aus gelangt man mit dem AirportExpress innerhalb von gut 20 Minuten zum Dortmunder Hauptbahnhof und von dort mit der S-Bahn zur Universität. Ein größeres Angebot an internationalen Flugverbindungen bietet der etwa 60 Kilometer entfernte Flughafen Düsseldorf, der direkt mit der S-Bahn vom Bahnhof der Universität zu erreichen ist.

ServicePortal UniMail

Forschungsprofil

Forschungsbereich "Software, Sicherheit und Verifikation"

Ein zentrales Thema der Informatik ist die Entwicklung von Software, insbesondere von umfangreichen Software-Systemen, die mittlerweile nahezu jeden Lebensbereich durchziehen. Dies betrifft den gesamten Lebenszyklus von Systemen, von der Anforderungsanalyse bis zur Wartung des resultierenden Systems. Hierzu sind Methoden und Techniken für Spezifikation, Konstruktion, Instandhaltung und Anpassung unerlässlich.

Beispielhaft sind folgende Forschungsthemen von Bedeutung:

Entwicklung und Anwendung formaler Spezifikationsmethoden für die Anforderungsanalyse
Einsatz formaler Analyse- und Verifikationsverfahren während des Systementwurfs zur frühzeitigen Fehlererkennung
Modellierung und Ausführung von Geschäftsprozessen
Visualisierung von Software
Algorithmische Unterstützung bei der Schemaentwicklung, unter Berücksichtigung semantischer Bedingungen, gewonnen aus der Modellierung von Anwendungen
Optimierung von Abfragen mit Hilfe fortgeschrittener logik- und objektorientierter Abfragesprachen, die semantische Bedingungen einbeziehen
Beachtung von Sicherheitsanforderungen wie Verfügbarkeit, Integrität, Authentizität, Vertraulichkeit, Anonymität und Nachweisbarkeit

Aktuelle Forschungsergebnisse

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