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
