Thursday, 24.07.2025, 11:00 - 11:45 a.m., Room OH14/202
Khaled Younes
Parallelizable Recurrent Neural Networks for Memory Integration in Deep Reinforcement Learning Agents (English)
Advisor: Prof. Dr. Rudolph
Master's degree lecture
Monday, 28.07.2025, 14:15 - 14:45, Room OH16/205
Hannah Moldenhauer
Analyzing and Adapting Wake Up Behaviour in a Link Sleeping System (English)
Advisor: Prof. Dr. Förster
Bachelor final lecture
Monday, 18.08.2025, 14:15 - 14:45, Room OH16/205
Mohamed Afawi
Machine learning model for automatic market phase classification and strategy optimization based on the market phase (German)
Supervisor: Prof. Dr. Buchholz
Bachelor final presentation
Monday, 18.08.2025, 15:00 - 15:45, Room OH16/205
Fabian Weiß
Replication for Multiplayer Games: An Unreal Engine case study (English)
Supervisor: Prof. Dr. Buchholz
Bachelor final lecture
Monday, 01.09.2025, 16:15–16:45, Zoom meeting
Filip Mecklenburg
Equivalence preservation for improvement operators
Supervisor: Prof. Dr. Kern-Isberner
Introductory lecture for bachelor's students
Monday, 22.09.2025, 16:15 - 16:45, via Zoom
Oliver Müller
Comparison of two approaches to prioritized response programming and their implementation with the clingo solver
Supervisor: Prof. Dr. Gabriella Kern-Isberner
Introductory lecture
Monday, 29.09.2025, 14:15 - 15:00, Room OH16/205
Nicole Kirchheim
Detection of outliers in large data sets (German)
Supervisor: Prof. Dr. Buchholz
Master final lecture
Monday, 29.09.2025, 16:15 - 16:45, Room OH12/3.031
Alexander Kokh
QBF Prover based on Abstraction Refinement
Supervisor: Prof. Dr. Jean Christoph Jung
Bachelor final lecture
Monday, 29.09.2025, 16:45 - 17:15, Room OH12/3.031
Aleksandr Ulianov
Proof strength of CDCL SAT solvers
Supervisor: Prof. Dr. Jean Christoph Jung
Bachelor final lecture
Monday, 29.09.2025, 15:30-16:15, Room OH12/3.013
Leandro Teixeira Crespo
Comparison of different prediction methods on rheumatism data (hybrid)
Supervisor: Prof. Dr. Kern-Isberner
Master's final presentation
Tuesday, 14.10.2025, 16:00–16:45, Room OH12/3.027
Nils Breiksch
Fair clustering: strong privacy with additional restrictions
Supervisor: Prof. (apl.) Dr. Beate Bollig
Bachelor's thesis presentation
Monday, 20.10.2025, 16:15:16:45, Room OH12/3.031
Andreas Kovalski
A Comparison of Proof Systems for the Description Logic EL
Supervisor: Prof. Dr. Jung
Bachelor's thesis presentation
Monday, 20.10.2025, 2025, 16:45-17:15, Room OH12/3.031
Johann Osing
The longest common prefix of a context-free language
Supervisor: Prof. Dr. Schwentick
Bachelor's thesis presentation
Monday, 20.10.2025, 17:15-17:45, Room OH12/3.031
Simon Buschmann
Enumeration of regular languages with limited delay
Supervisor: Prof. Dr. Schwentick
Bachelor's thesis presentation
Monday, 27.10.2025, 16:15–16:45, Room OH12/3.031
Michael Siebert
Optimal separation through description logic concepts
Supervisor: Prof. Dr. Jung
Bachelor's introductory lecture
Monday, 27.10.2025, 16:45–17:15, Room OH12/3.031
Alexander Jörges
Propositional logic coding of cardinality constraints
Supervisor: Prof. Dr. Jung
Bachelor's introductory lecture
Monday, 03.11. 2025, 16:15–17:00, Room OH12/3.031
Franz Nentwich
Complexity studies on the implementation of c-representations and c-inference using SMT
Supervisor: Prof. Dr. Kern-Isberner
Master's thesis presentation
Thursday, 06.11.2025, 10:00-10:30, Room OH14/105
Finn Wilken
Analyzing the Impact of Typosquatting Attacks in Maven
Supervisor: Prof. Dr. Ben Hermann
Bachelor's thesis presentation
Thursday, 06.11.2025, 10:30-11:00, Room OH14/105
Fabian Winter
Efficient Memory Management in the Blackboard Analysis Architecture
Supervisor: Prof. Dr. Ben Hermann
Bachelor's thesis presentation
Thursday, 06.11.2025, 11:00–11:30, Room OH14/105
Ramon Jasari
Creation and evaluation of a tool for visualizing reachability analyses in software libraries
Supervisor: Prof. Dr. Ben Hermann
Master's thesis presentation
Monday, 10.11.2025, 16:15–16:45, Room OH12/3.031
Yannick Wehner
Characterization of efficient learnability and application to classes of propositional logic formulas
Supervisor: Prof. Dr. Jung
Bachelor's introductory lecture
Monday, 10.11.2025, 16:45–17:15, Room OH12/3.031
Minh Anh Nguyen
Characterization of efficient learnability in infinite concept classes
Supervisor: Prof. Dr. Jung
Bachelor's introductory lecture
Tuesday, 11.11.2025, 11:00–11:30, Room JvF/3-302
Ahmet Yasin Kurt
Train scheduling based on deep reinforcement learning
Supervisor: Prof. Dr. Sebastian Peitz
Bachelor's thesis presentation
Tuesday, November 11, 2025, 14:00–15:00, Room OH12/2013
Silas Grimm
Game Theoretical Perspectives on Reinforcement Learning in Haskell
Supervisor: Prof. Dr. Jakob Rehof
Bachelor's introductory lecture
Wednesday, November 12, 2025, 10:15–11:00, Room OH12/2013
Asanali Uzakov
Creating a VS Code Extension for a formally defined educational programming language
Supervisor: Prof. Dr. Falk Hower
Bachelor's thesis presentation
Wednesday, November 12, 2025, 11:00–12:00, Room OH12/2013
Mats Kowalke
Attacking Technical Debt in Java Codebases using Agentic AI Workflows
Supervisor: Prof. Dr. Falk Hower
Bachelor's introductory presentation
Wednesday, November 19, 2025, 10:15-11:00 a.m., Room OH12/2013
Leonie Böttcher
Evaluating Neural Scene Representations under Adverse Conditions and the Effect of Quality-Aware Preprocessing
Supervisor: Prof. Dr. Falk Hower
Master's introductory lecture
Wednesday, November 19, 2025, 11:00 a.m.–11:45 a.m., Room OH12/2013
Lukas Schütz
Opponent Trajectory Prediction for Head-to-Head Autonomous Racing sap
Supervisor: Prof. Dr. Falk Hower
Bachelor's introductory lecture
Monday, November 24, 2025, 16:15–16:45, Room OH12/3.031
Michael Siebert
Optimal separation through description logic concepts
Supervisor: Prof. Dr. Jung
Bachelor's introductory lecture
Monday, November 24, 2025, 3:00–3:30 p.m., Room OH16/205
Omar Mhiri
LSTM for time series: Forecasting and model evaluation
Supervisor: Prof. Dr. Buchholz
Bachelor's introductory lecture
