Tanja Schindler
Spiegelgasse 1
CH - 4051 Basel, Switzerland
I am a postdoctoral researcher in the Artificial Intelligence group at the University of Basel. My current research focus lies on classical planning. I am particularly interested in certifying planning algorithms and in the connections between different approaches to planning. I am also interested in automated deduction, in particular in satisfiability modulo theories.
Short bio
From 2016 to 2022, I was a doctoral researcher in the Software Engineering group headed by Prof. Dr. Andreas Podelski at the University of Freiburg, Germany, where I worked on satisfiability modulo theories, and received my PhD in July 2022. From 2022 to 2023, I was a postdoctoral researcher in the Distributed Systems group headed by Prof. Dr. Pascal Fontaine at the University of Liège, Belgium. In December 2023, I joined the Artificial Intelligence group headed by Prof. Dr. Malte Helmert at the University of Basel.