Michael started his PhD in March 2022 under the supervision of Prof. Birte Glimm at the Institute of Artificial Intelligence at Ulm University, Germany. I co-supervise his thesis since March 2023.
He is interested in finding optimal explanations that point out why an unsolvable planning problem is unsolvable, i.e., how it could be made solvable. You find a more detailed explanation of his research interests on his webpage of Ulm University.
Websites by Michael: