| Nov 07, 2025 | Our paper “Managing Infinite Abstractions in Numeric Pattern Database Heuristics” got accepted at AAAI 2026. |
| Oct 15, 2025 | I obtained my habilitation from Heidelberg University. |
| Jul 22, 2025 | Our system demonstration “Graphical Navigation in Solution Spaces using PlanPilot” got accepted at ICAPS 2025. |
| Jul 16, 2025 | Our paper “Interactive Exploration of Plan Spaces” got accepted at KR 2025. |
| Jul 11, 2025 | Our paper “Combining Heuristics and Transition Classifiers in Classical Planning” got accepted at ECAI 2025. |
| Jul 04, 2025 | Our paper “AxSAT - Bringing Axioms to SAT Planning” got accepted at JELIA 2025. |
| May 01, 2025 | I joined Heidelberg University as a lecturer (Akademischer Rat). |