Archiv
2025
Fakultätskolloquium
Mittwoch, 20.08.2025, 10:00 Uhr, Raum OH14/E14
Prof. Dr. Martin Törngren, KTH Royal Institute of Technology, Stockholm, Sweden
Automated driving safety - when is an automated vehicle ready to go?
Gastgeber: Prof. Dr. Hower
Montag, 25.08.2025, 11:00-12:00 Uhr, Raum OH12/1.055
Prof. Dr. Frank Neven, Universität Hasselt
The Robustness Problem for Database Transactions (Englisch)
Gastgeber: Prof. Dr. Schwentick
Mittwoch, 08.10.2025, 15:30-17:00 Uhr, Raum JvF25/303 und Zoom
Prof. Dr. Joao Gama
AUTOML for Data Streams
Gastgeber: Dr. Jens Buss
Dienstag, 11.11.2025, 14:00-15:00 Uhr, Raum JvF25/303
Prof. Mong-Jen Kao
Handling LP-Rounding for Hierarchical Clustering & Fitting Distances by Ultrametrics
Gastgeber: Dr. Jens Buss
Dienstag, 18.11.2025, 14:00-16:00 Uhr, Raum JvF/303
Tim Alamenciak
Accelerating biodiversity restoration and conservation with AI-driven evidence synthesis (HYBRID)
Gastgeber: Dr. Jens Buss
Freitag, 21.11.2025, ab 15:30, Raum OH14/E23
Dortmunder Alumni Tag 2025
Tim Philipp Schäfers Hacker, Gründer & CEO Mint Secure GmbH
Cyberrisiken aus der Hackerperspektive
Dr. Michael Neubauer, KOPV-Managementberatung, ehemals CEO der Südwestfalen-IT
Ein persönlich erlebter Cyberangriff im Zusammenhang mit dem Vorfall bei der Südwestfalen-IT
Prof. Dr. Christian Rossow, CISPA Helmholtz-Zentrum für Informationssicherheit, TU Dortmund
„Wer greift uns an?“ -- Methoden aus der Forschung zur Rückverfolgung und Abwehr von Cyberangriffen
Peter Leffler, Oberstleutnant, Kommando Cyber- und Informationsraum der Bundeswehr
Die Teilstreitkraft Cyber- und Informationsraum der Bundeswehr und deren Zusammenarbeit mit zivilen Institutionen
Tuesday, 25.11.2025, 10:00–12:00, Room OH14/E04
Dr. Christoph Langenbruch
ML meets Particle Physics
Host: Prof. Dr. Jens Teubner
Freitag, 05.12.2025, 10:30-11:30 Uhr, Raum OH14/E04
Prof. Dr. Sandra Kiefer
Long-Refinement Graphs
Gastgeber: Prof. Dr. Schwentick
Donnerstag, 11.12.2025, 10:00-12:00, Raum JvF25/303
Prof. Barbara Hammer
When to trust an explanation?
Gastgeber: Dr. Jens Buss
Bachelor- und Master-Vorträge
Donnerstag, 24.07.2025, 11:00 – 11:45 Uhr, Raum OH14/202
Khaled Younes
Parallelizable Recurrent Neural Networks for Memory Integration in Deep Reinforcement Learning Agents (English)
Betreuer: Prof. Dr. Rudolph
Master-Abschlussvortrag
Montag, 28.07.2025, 14:15 – 14:45 Uhr, Raum OH16/205
Hannah Moldenhauer
Analyzing and Adapting Wake Up Behaviour in a Link Sleeping System (English)
Betreuer: Prof. Dr. Förster
Bachelor-Abschlussvortrag
Montag, 18.08.2025, 14:15 – 14:45 Uhr, Raum OH16/205
Mohamed Afawi
Maschinelles Lernmodell zur automatischen Marktphasenklassifizierung und Strategieoptimierung basierend auf der Marktphase (Deutsch)
Betreuer: Prof. Dr. Buchholz
Bachelor-Abschlussvortrag
Montag, 18.08.2025, 15:00 – 15:45 Uhr, Raum OH16/205
Fabian Weiß
Replication for Multiplayer Games: An Unreal Engine case study (English)
Betreuer: Prof. Dr. Buchholz
Bachelor-Abschlussvortrag
Montag, 01.09.2025, 16:15-16:45 Uhr, Zoom-Meeting
Filip Mecklenburg
Äquivalenzerhaltung für Verbesserungsoperatoren
Betreuer: Prof. Dr. Kern-Isberner
Bachelor-Einführungsvortrag
Montag, 22.09.2025, 16:15 - 16:45, via Zoom
Oliver Müller
Vergleich zweier Ansätze zur priorisierten Antwortmengenprogrammierung und deren Umsetzung mit dem Solver clingo
Betreuerin: Prof. Dr. Gabriella Kern-Isberner
Einführungsvortrag
Montag, 29.09.2025, 14:15 – 15:00 Uhr, Raum OH16/205
Nicole Kirchheim
Erkennung von Ausreißern in großen Datensätzen (Deutsch)
Betreuer: Prof. Dr. Buchholz
Master-Abschlussvortrag
Montag, 29.09.2025, 16:15 – 16:45 Uhr, Raum OH12/3.031
Alexander Kokh
QBF Beweiser basierend auf Abstraction Refinement
Betreuer: Prof. Dr. Jean Christoph Jung
Bachelor-Abschlussvortrag
Montag, 29.09.2025, 16:45 – 17:15 Uhr, Raum OH12/3.031
Aleksandr Ulianov
Beweisstärke von CDCL SAT Solvern
Betreuer: Prof. Dr. Jean Christoph Jung
Bachelor-Abschlussvortrag
Montag, 29.09.2025, 15:30-16:15 Uhr, Raum OH12/3.013
Leandro Teixeira Crespo
Vergleich unterschiedlicher Vorhersageverfahren auf Rheumadaten (Hybrid)
Betreuerin: Prof. Dr. Kern-Isberner
Master-Abschlussvortrag
Dienstag, 14.10.2025, 16:00-16:45 Uhr, Raum OH12/3.027
Nils Breiksch
Faires clustering: strong privacy mit weiteren Restriktionen
Betreuerin: Prof. (apl.) Dr. Beate Bollig
Bachelor-Abschlussvortrag
Montag, 20.10.2025, 16:15-16:45 Uhr, Raum OH12/3.031
Andreas Kovalski
A Comparison of Proof Systems for the Description Logic EL
Betreuer: Prof. Dr. Jung
Bachelor-Abschlussvortrag
Montag, 20.10.2025, 16:45-17:15 Uhr, Raum OH12/3.031
Johann Osing
Das längste gemeinsame Präfix einer kontextfreien Sprache
Betreuer: Prof. Dr. Schwentick
Bachelor-Abschlussvortrag
Montag, 20.10.2025, 17:15-17:45, Raum OH12/3.031
Simon Buschmann
Aufzählung regulärer Sprachen mit beschränkter Verzögerung
Betreuer: Prof. Dr. Schwentick
Bachelor-Abschlussvortrag
Montag, 27.10.2025, 16:15-16:45, Raum OH12/3.031
Michael Siebert
Optimale Separierung durch Beschreibungslogik-Konzepte
Betreuer: Prof. Dr. Jung
Bachelor-Einführungsvortrag
Montag, 27.10.2025, 16:45-17:15, Raum OH12/3.031
Alexander Jörges
Aussagenlogische Kodierung von Kardinalitätsconstraints
Betreuer: Prof. Dr. Jung
Bachelor-Einführungsvortrag
Montag, 03.11.2025, 16:15-17:00 Uhr, Raum OH12/3.031
Franz Nentwich
Komplexitätsuntersuchungen zur Implementation von c-Repräsentationen und c-Inferenz mit Hilfe von SMT
Betreuerin: Prof. Dr. Kern-Isberner
Master-Abschlussvortrag
Donnerstag, 06.11.2025, 10:00-10:30 Uhr, Raum OH14/105
Finn Wilken
Analyzing the Impact of Typosquatting Attacks in Maven
Betreuer: Prof. Dr. Ben Hermann
Bachelor-Abschlussvortrag
Donnerstag, 06.11.2025, 10:30-11:00 Uhr, Raum OH14/105
Fabian Winter
Effiziente Speicherverwaltung in der Blackboard-Analyse-Architektur
Betreuer: Prof. Dr. Ben Hermann
Bachelor-Abschlussvortrag
Donnerstag, 06.11.2025, 11:00-11:30 Uhr, Raum OH14/105
Ramon Jasari
Erstellung und Evaluation eines Werkzeugs zur Visualisierung von Erreichbarkeitsanalysen in Softwarebibliotheken
Betreuer: Prof. Dr. Ben Hermann
Master-Abschlussvortrag
Montag, 10.11.2025, 16:15-16:45, Raum OH12/3.031
Yannick Wehner
Charakterisierung von effizienter Lernbarkeit und Anwendung auf Klassen von aussagenlogischen Formeln
Betreuer: Prof. Dr. Jung
Bachelor-Einführungsvortrag
Montag, 10.11.2025, 16:45-17:15, Raum OH12/3.031
Minh Anh Nguyen
Charakterisierung von effizienter Lernbarkeit in unendlichen Konzeptklassen
Betreuer: Prof. Dr. Jung
Bachelor-Einführungsvortrag
Dienstag, 11.11.2025, 11:00-11:30 Uhr, Raum JvF/3-302
Ahmet Yasin Kurt
Train scheduling based on deep reinforcement learning
Bertreuer: Prof. Dr. Sebastian Peitz
Bachelor-Abschlussvortrag
Dienstag, 11.11.2025, 14:00-15:00 Uhr, Raum OH12/2013
Silas Grimm
Game Theoretical Perspectives on Reinforcement Learning in Haskell
Betreuer: Prof. Dr. Jakob Rehof
Bachelor-Einführungsvortrag
Mittwoch, 12.11.2025, 10:15-11:00 Uhr, Raum OH12/2013
Asanali Uzakov
Creating a VS Code Extension for a formally defined educational programming language
Betreuer: Prof. Dr. Falk Hower
Bachelor-Abschlussvortrag
Mittwoch, 12.11.2025, 11:00-12:00 Uhr, Raum OH12/2013
Mats Kowalke
Attacking Technical Debt in Java Codebases using Agentic AI Workflows
Betreuer: Prof. Dr. Falk Hower
Bachelor-Einführungsvortrag
Mittwoch, 19.11.2025, 10:15-11:00 Uhr, Raum OH12/2013
Leonie Böttcher
Evaluating Neural Scene Representations under Adverse Conditions and the Effect of Quality-Aware Preprocessing
Betreuer: Prof. Dr. Falk Hower
Master-Einführungsvortrag
Mittwoch, 19.11.2025, 11:00-11:45 Uhr, Raum OH12/2013
Lukas Schütz
Opponent Trajectory Prediction for Head-to-Head Autonomous Racing sap
Betreuer: Prof. Dr. Falk Hower
Bachelor-Einführungsvortrag
Montag, 24.11.2025, 16:15-16:45 Uhr, Raum OH12/3.031
Michael Siebert
Optimale Separierung durch Beschreibungslogik-Konzepte
Betreuer: Prof. Dr. Jung
Bachelor-Einführungsvortrag
Montag, 24.11.2025, 15:00-15:30 Uhr, Raum OH16/205
Omar Mhiri
LSTM für Zeitreihen: Prognose- und Modellbewertung
Betreuer: Prof. Dr. Buchholz
Bachelor-Einführungsvortrag
Dienstag, 25.11.2025, 16:00-17:00 Uhr, Raum OH12/3.027
Yannis Klindworth
On the Number of Solutions of a random k-SAT Instance
Betreuer: Prof. Dr. Coja-Oghlan
Master-Abschlussvortrag
Mittwoch, 26.11.2025, 10:15-11:00 Uhr, Raum OH12/2013
Alex Dwucet
Analyse und Evaluierung digitaler Wasserzeichenverfahren auf verschiedenen Dateitypen
Betreuer: Prof. Dr. Falk Hower
Master-Abschlussvortrag
Mittwoch, 26.11.2025, 11:00-11.45 Uhr, Raum OH12/2013
Louis Radtke
Establishing a Management Software for Transient Resesarch Data
Betreuer: Prof. Dr. Falk Hower
Master-Einführungsvortrag
Montag, 01.12.2025, 14:15-14:45 Uhr, Raum OH16/205
Toka Al Daye
Testverfahren zum Vergleich von Stichproben
Betreuer: Prof. Dr. Buchholz
Bachelor-Einführungsvortrag
Mittwoch, 03.12.2025, 10:15-11:00 Uhr, Raum OH12/2013
Nico Koltermann
Implementation of a Traffic Data Acquisition Prototype for Scenario-Based Testing of Automated Driving
Betreuer: Prof. Dr. Falk Hower
Master-Abschlussvortrag
Mittwoch, 03.12.2025, 11:00-11:45 Uhr, Raum OH12/2013
Niklas Domagalla
Entwicklung eines Prototypen zur Stammdatenextraktion aus unstrukturierten Dokumenten im Case management mittels Natural-Language-Processing
Betreuer: Prof. Dr. Falk Hower
Master-Abschlussvortrag
Montag, 08.12.2025, 17:15-17:45 Uhr, Raum OH12/3.031
Lisa Henneberg
Lösen von Allgemeinen Annahmen-basierten Argumentationsformalismen via QBF
Betreuer: Prof. Dr. Jung
Master-Einführungsvortrag
Montag, 08.12.2025, 16:15-16:45 Uhr, Raum OH12/3.031
Kevin Kliche
Minimierung von deterministischen und good-for-games Omega-Automaten
Betreuer: Prof. Dr. Schwentick
Bachelor-Einführungsvortrag
Montag, 08.12.2025, 16:45-17:15 Uhr, Raum OH12/3.031
Hendrik Ahrens
Edit-Distanz von regulären und kontextfreien Sprachen
Betreuer: Prof. Dr. Schwentick
Bachelor-Einführungsvortrag
Montag, 08.12.2025, 14:15-15:00 Uhr, Raum OH16/205
Moustafa Wafaei Baaj
Signifikanztests für große Datensätze
Betreuer: Prof. Dr. Buchholz
Bachelor-Abschlussvortrag
Montag, 08.12.2025, 15:00-15:45 Uhr, Raum OH16/205
Lucas Gädke
Entwicklung einer Software zur Fehlerdiagnose und Betriebsdatenerfassung von Robotersystemen durch Analyse von Logfiles
Betreuer: Prof. Dr. Buchholz
Bachelor-Abschlussvortrag
Dienstag, 09.12.2025, 12:00-13:00 Uhr, Raum OH12/2013
Lukas Vieweg
Entwicklung von Routingalgorithmen mit dynamischen Treffpunkten für mobile Roboter in der Kommissionierung
Betreuer: Prof. Dr. Rehof
Bachelor-Einführungsvortrag
Dienstag, 09.12.2025, 11:00-12:00 Uhr, Raum OH12/2013
Arnur Begaliyev
Imperative Enumeration for Term Languages
Betreuer: Prof. Dr. Rehof
Bachelor-Abschlussvortrag
Mittwoch, 10.12.2025, 10:15-11:00 Uhr, Raum OH12/2013
Marvin Lazar
Dynamisch symbolische Ausführung für Objekte in der JVM mittels GDart
Betreuer: Prof. Dr. Howar
Master-Abschlussvortrag
Montag, 15.12.2025, 16:15-16:45 Uhr, Raum OH12/3.031
Makhabbat Kazhybayeva
Efficient Translations of Regular Expressions into Nondeterministic Finite Automata
Betreuer: Prof. Dr. Schwentick
Bachelor-Einführungsvortrag
Montag, 15.12.2025, 16:45-17:15 Uhr, Raum OH12/3.031
Justus Nelson
Aufzählung von Anfrageergebnissen auf SLP-komprimierten Dokumenten
Betreuer: Prof. Dr. Schwentick
Bachelor-Einführungsvortrag
Montag, 15.12.20225, 14:15-15:00 Uhr, Raum OH16/205
Naveen Kumar Arjunan
Detection, Classification and Tracking of Marine Vessels and Scammers for Surveillance in Inland Ports
Betreuer: Prof. Dr. Buchholz
Master-Abschlussvortrag
Dienstag, 16.12.2025, 16:00-16:30, Raum OH12/3.027
Burak Tosun
Linear Group Testing
Betreuer: Prof. Dr. Coja Oghlan
Bachelor-Abschlussvortrag
Dienstag, 16.12.2025, 16:30-17:00, Raum OH12/3.027
Michael Alexander Feinermann
Analyse der DBLP Datenbank
Betreuer: Prof. Dr. Coja Oghlan
Bachelor-Abschlussvortrag
Dienstag, 16.12.2025, 17:00-17:30, Raum OH12/3.027
Meliha Kocak
Der Vier-Farben-Satz
Betreuer: Prof. Dr. Coja Oghlan
Bachelor-Abschlussvortrag
2026
Fakultätskolloquium
Bachelor- und Master-Vorträge
Montag, 05.01.2026, 14:15-14:45 Uhr, Raum OH16/205
Julian Tuxhorn
Entwicklung sicherheitskritischer KI-basierter Ortungskomponenten für die autonome Binnenschifffahrt
Betreuer: Prof. Dr. Buchholz
Master-Einführungsvortrag
Montag, 05.01.2026, 15:00-15:45 Uhr, Raum OH16/205
Ismail Khlif
Zeitreihenanalyse mit dem TFT-Modell in ASMo
Betreuer: Prof. Dr. Buchholz
Bachelor-Abschlussvortrag
Montag, 12.01.2026, 16:15-16:45 Uhr, via Zoom
Marcel Schäper
Vergleich von regelbasierten Systemen für die Rechnungsprüfung ASP vs Rule Engines
Betreuer: Prof. Dr. Gabriele Kern-Isberner
Bachelor-Einführungsvortrag
Montag, 12.01.2026, 14:15-14:45 Uhr, Raum OH16/205
Tom Alexander Bank
Ein Dekombinationsansatz zur Brechnung von Schedules für Pick- and Place Roboter
Betreuer: Prof. Dr. Buchholz
Bachelor-Einführungsvortrag
Montag, 12.01.2026, 15:00-15:30 Uhr, Raum OH16/205
Mossab Alabbadi
Modellierung und Analyse der Ausfallzeiten von Hardwarekomponenten mit ASMo
Betreuer: Prof. Dr. Buchholz
Bachelor-Einführungsvortrag
Dienstag, 13.01.2026, 11:00-12:00 Uhr, Raum OH12/2013
Alexandra Latys
Analysing Simple Formally Verified Models of Computation
Betreuer: Prof. Dr. Rehof
Master-Abschlussvortrag
Montag, 19.01.2026, 14:15-15:00 Uhr, Raum OH16/205
Maria Weisheit
Robustes Netzwerk-Routing durch Nutzubg kantendisjznkter Pfade: Analyse und Optimierung existierender Algorithmen
Betreuer: Prof. Dr. Förster
Bachelor-Abschlussvortrag
Mittwoch, 21.01.2026, 10:15-11:00 Uhr, Raum OH12/2013 und hybrid
Laurenz Levi Spielmann
Implementierung und Evaluation von Meta-Solving-Strategien für SMT-Solver
Betreuer: Prof. Dr. Howar
Bachelor-Einführungsvortrag
Mittwoch, 21.01.2026, 11:00-11:45 Uhr, Raum OH12/2013 und hybrid
Lars Litzschke
Implementation and Comparison of different Verification Methods for a formally defined educational Programming Language
Betreuer: Prof. Dr. Howar
Master-Abschlussvortrag
Montag, 26.01.2026, 14:15-15:00 Uhr, Raum OH16/205
Alexander Lupatsiy
Analyse von MAC-Protokollen für MANets unter Verwendung von LoRa in Katastrophenszenarien / Evaluation of MAC Protocols for MANETs Using LoRa in Disaster Scenarios
Betreuer: Prof. Dr. Buchholz
Master-Abschlussvortrag
Montag, 26.01.2026, 15:00-15:30 Uhr, Raum OH16/205
Andrei Shvaiko
Entwicklung einer Signalverarbeitungspipeline und eines Prototypen zur Detektion von Schiffssignalen im Hafen und Ausgabe von Warnmeldungen
Betreuer: Prof. Dr. Buchholz
Bachelor-Einführungsvortrag