Archive

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
 

Tuesday, November 25, 2025, 4:00–5:00 p.m., Room OH12/3.027
Yannis Klindworth
On the Number of Solutions of a Random k-SAT Instance
Supervisor: Prof. Dr. Coja-Oghlan
Master's Thesis Presentation
 

Wednesday, November 26, 2025, 10:15-11:00 a.m., Room OH12/2013
Alex Dwucet
Analysis and evaluation of digital watermarking methods on different file types
Supervisor: Prof. Dr. Falk Hower
Master's thesis presentation
 

Wednesday, November 26, 2025, 11:00 a.m.–11:45 a.m., Room OH12/2013
Louis Radtke
Establishing a Management Software for Transient Research Data
Supervisor: Prof. Dr. Falk Hower
Master's introductory presentation

Monday, December 1, 2025, 2:15–2:45 p.m., Room OH16/205
Toka Al Daye
Test procedures for comparing samples
Supervisor: Prof. Dr. Buchholz
Introductory lecture for bachelor's students
 

Wednesday, December 3, 2025, 10:15-11:00 a.m., Room OH12/2013
Nico Koltermann
Implementation of a Traffic Data Acquisition Prototype for Scenario-Based Testing of Automated Driving
Supervisor: Prof. Dr. Falk Hower
Master's thesis presentation

Wednesday, December 3, 2025, 11:00 a.m.–11:45 a.m., Room OH12/2013
Niklas Domagalla
Development of a Prototype for Master Data Extraction from Unstructured Documents in Case Management Using Natural Language Processing
Supervisor: Prof. Dr. Falk Hower
Master's thesis presentation
 

Monday, December 8, 2025, 17:15–17:45, Room OH12/3.031
Lisa Henneberg
Solving general assumption-based argumentation formalisms via QBF
Supervisor: Prof. Dr. Jung
Master's introductory lecture
 

Monday, December 8, 2025, 4:15–4:45 p.m., Room OH12/3.031
Kevin Kliche
Minimization of deterministic and good-for-games omega automata
Supervisor: Prof. Dr. Schwentick
Bachelor's introductory lecture

Monday, December 8, 2025, 4:45–5:15 p.m., Room OH12/3.031
Hendrik Ahrens
Edit distance of regular and context-free languages
Supervisor: Prof. Dr. Schwentick
Bachelor's introductory lecture
 

Monday, December 8, 2025, 2:15–3:00 p.m., Room OH16/205
Moustafa Wafaei Baaj
Significance tests for large data sets
Supervisor: Prof. Dr. Buchholz
Bachelor's thesis presentation

Monday, December 8, 2025, 3:00–3:45 p.m., Room OH16/205
Lucas Gädke
Development of software for error diagnosis and operating data acquisition of robot systems through analysis of log files
Supervisor: Prof. Dr. Buchholz
Bachelor's thesis presentation
 

Tuesday, December 9, 2025, 12:00 p.m.–1:00 p.m., Room OH12/2013
Lukas Vieweg
Development of routing algorithms with dynamic meeting points for mobile robots in order picking
Supervisor: Prof. Dr. Rehof
Bachelor's introductory lecture

Tuesday, December 9, 2025, 11:00 a.m.–12:00 p.m., Room OH12/2013
Arnur Begaliyev
Imperative Enumeration for Term Languages
Supervisor: Prof. Dr. Rehof
Bachelor's thesis presentation

Wednesday, December 10, 2025, 10:15–11:00 a.m., Room OH12/2013
Marvin Lazar
Dynamic symbolic execution for objects in the JVM using GDart
Supervisor: Prof. Dr. Howar
Master's thesis presentation

Monday, December 15, 2025, 4:15–4:45 p.m., Room OH12/3.031
Makhabbat Kazhybayeva
Efficient Translations of Regular Expressions into Nondeterministic Finite Automata
Supervisor: Prof. Dr. Schwentick
Bachelor's introductory lecture

Monday, December 15, 2025, 4:45–5:15 p.m., Room OH12/3.031
Justus Nelson
Enumeration of query results on SLP-compressed documents
Supervisor: Prof. Dr. Schwentick
Bachelor's introductory lecture

Monday, December 15, 20225, 2:15–3:00 p.m., Room OH16/205
Naveen Kumar Arjunan
Detection, Classification, and Tracking of Marine Vessels and Scammers for Surveillance in Inland Ports
Supervisor: Prof. Dr. Buchholz
Master's thesis presentation
 

Tuesday, December 16, 2025, 4:00–4:30 p.m., Room OH12/3.027
Burak Tosun
Linear Group Testing
Supervisor: Prof. Dr. Coja Oghlan
Bachelor's thesis presentation
 

Tuesday, December 16, 2025, 4:30–5:00 p.m., Room OH12/3.027
Michael Alexander Feinermann
Analysis of the DBLP Database
Supervisor: Prof. Dr. Coja Oghlan
Bachelor's thesis presentation
 

Tuesday, December 16, 2025, 5:00–5:30 p.m., Room OH12/3.027
Meliha Kocak
The Four Color Theorem
Supervisor: Prof. Dr. Coja Oghlan
Bachelor's thesis presentation

Monday, January 5, 2026, 2:15–2:45 p.m., Room OH16/205
Julian Tuxhorn
Development of safety-critical AI-based positioning components for autonomous inland waterway transport
Supervisor: Prof. Dr. Buchholz
Master's introductory presentation

Monday, January 5, 2026, 3:00–3:45 p.m., Room OH16/205
Ismail Khlif
Time series analysis with the TFT model in ASMo 
Supervisor: Prof. Dr. Buchholz
Bachelor's final presentation
 

Monday, January 12, 2026, 4:15–4:45 p.m., via Zoom
Marcel Schäper
Comparison of rule-based systems for invoice verification: ASP vs. rule engines
Supervisor: Prof. Dr. Gabriele Kern-Isberner
Introductory lecture for bachelor's students
 

Monday, January 12, 2026, 2:15–2:45 p.m., Room OH16/205
Tom Alexander Bank
A Decombination Approach to Calculating Schedules for Pick-and-Place Robots
Supervisor: Prof. Dr. Buchholz
Bachelor's introductory lecture
 

Monday, January 12, 2026, 3:00–3:30 p.m., Room OH16/205
Mossab Alabbadi
Modeling and analysis of hardware component downtime with ASMo
Supervisor: Prof. Dr. Buchholz
Bachelor's introductory lecture

Tuesday, January 13, 2026, 11:00 a.m.–12:00 p.m., Room OH12/2013
Alexandra Latys
Analyzing Simple Formally Verified Models of Computation
Supervisor: Prof. Dr. Rehof
Master's thesis presentation
 

Monday, January 19, 2026, 2:15–3:00 p.m., Room OH16/205
Maria Weisheit
Robust network routing using edge-designated paths: Analysis and optimization of existing algorithms
Supervisor: Prof. Dr. Förster
Bachelor's thesis presentation
 

Wednesday, January 21, 2026, 10:15-11:00 a.m., Room OH12/2013 and hybrid
Laurenz Levi Spielmann
Implementation and evaluation of meta-solving strategies for SMT solvers
Supervisor: Prof. Dr. Howar
Bachelor's introductory lecture

Wednesday, January 21, 2026, 11:00 a.m.–11:45 a.m., Room OH12/2013 and hybrid
Lars Litzschke
Implementation and Comparison of Different Verification Methods for a Formally Defined Educational Programming Language
Supervisor: Prof. Dr. Howar
Master's thesis presentation
 

Monday, January 26, 2026, 2:15–3:00 p.m., Room OH16/205
Alexander Lupatsiy
Evaluation of MAC Protocols for MANETs Using LoRa in Disaster Scenarios
Supervisor: Prof. Dr. Buchholz
Master's thesis presentation
 

Monday, January 26, 2026, 3:00–3:30 p.m., Room OH16/205
Andrei Shvaiko
Development of a signal processing pipeline and a prototype for detecting ship signals in the harbor and issuing warning messages 
Supervisor: Prof. Dr. Buchholz
Bachelor's introductory lecture