Teaching
I teach probabilistic robotics, planning, and logic: the toolkit behind reasoning about what an agent should do and why. I like courses that stay connected to a running system, so my lab courses and seminars are usually tied to actual competition robots or research code rather than toy examples, because the gap between a clean formalism and a robot that has to act under noise and time pressure is where the interesting teaching happens.
Independent teaching
Uncertainty in Robotics · Summer 2025
Master's course, lecturer with full course responsibility, including the syllabus, lectures, and exam.
Student evaluations: course 1.5, lecturer 1.3 (German university grading scale, 1 = best).
Further teaching
| Term | Role | Course | Level |
|---|---|---|---|
| Winter 2024/2025 | Co-Instructor | Lab Course: Robot Task and Motion Planning | Bachelor's/Master's |
| Summer 2024 | Teaching Assistant | Actions and Planning in AI: Learning, Models, and Algorithms | Master's |
| Summer 2024 | Instructor | Proseminar: Causal Inference | Bachelor's |
| Winter 2023/2024 | Teaching Assistant | Social and Technological Change | Master's |
| Summer 2023 | Teaching Assistant | Actions and Planning in AI: Learning, Models, and Algorithms | Master's |
| Winter 2021/2022 | Teaching Assistant | Lab Course: Centralized Goal Reasoning for Logistics Robots | Bachelor's/Master's |
| Summer 2021 | Teaching Assistant | The Logic of Knowledge Bases | Master's |
| Winter 2020/2021 | Teaching Assistant | Lab Course: Centralized Goal Reasoning for Logistics Robots | Bachelor's/Master's |
| Summer 2020 | Teaching Assistant | Uncertainty in Robotics | Master's |
Earlier teaching (2017 – 2019), including three summer schools, is listed in the CV (PDF).
Supervision
16 completed Bachelor's and Master's theses, 11 as primary advisor.
All 16 theses
| Student | Thesis | Level | Advisor role | Completed |
|---|---|---|---|---|
| Chanjuan Huang | Generalized Planning with Lifted Temporal Goals | Master's | Primary advisor | July 2026 |
| Hani Alassiri Alhabboub | Semantic Space Abstractions for Partially Observable Deterministic Task and Motion Planning | Master's | Primary advisor | June 2026 |
| Samridhi Kalra | Learning General Policies for Partially Observable Deterministic (POD) Planning | Master's | Primary advisor | March 2026 |
| Marleen König | Learning General Policies for Qualitative Numeric Planning Problems | Bachelor's | Primary advisor | November 2025 |
| Xinyu Liu | Symmetry Reduction for MTL Controller Synthesis | Master's | Secondary advisor | June 2025 |
| Nirmal Maheshwari | Learning Symbolic State Descriptions from Images Using Scene Graph Generation | Master's | Primary advisor | June 2025 |
| Cheng-Yo Lu | Synthesizing MTL Controllers with Zones | Bachelor's | Secondary advisor | October 2024 |
| Daniel Swoboda | Jointly Learning Skill Execution and Domain Grounding for Robot Task and Motion Planning | Master's | Primary advisor | March 2024 |
| Sonja Ginter | Using Reinforcement Learning as Goal Selector in Goal Reasoning | Master's | Secondary advisor | April 2023 |
| Anna-Maria Meer | An Approach to Instance Segmentation and Pose Estimation for Automated Dismantling of Lithium-Ion Batteries for High-Quality Recycling | Master's | Secondary advisor | July 2022 |
| Matteo Tschesche | Whole-Body Manipulation on Mobile Robots Using Parallel Position-Based Visual Servoing | Master's | Primary advisor | May 2022 |
| Ivaylo Doychev | Goal Reasoning with the CLIPS Executive in ROS2 | Bachelor's | Secondary advisor | October 2021 |
| Daniel Swoboda | Sharing Promises and Requests in Multi-Agent Goal Reasoning for Logistics Robots | Bachelor's | Primary advisor | September 2020 |
| Mostafa Gomaa | Centralized Goal Reasoning and Scheduling Using Mixed Integer Programming for Logistics Robots | Master's | Primary advisor | August 2020 |
| Tarik Viehmann | Transforming Robotic Plans with Timed Automata to Solve Temporal Platform Constraints | Master's | Primary advisor | December 2019 |
| Daniel Habering | Using Platform Models for a Guided Explanatory Diagnosis Generation for Mobile Robots | Master's | Primary advisor | August 2019 |