Artificial intelligence planning and model checking

I am working on state space search methods such as decoupled state space search.

I am a postdoctoral researcher at the Artificial Intelligence and Integrated Computer Systems division (AIICS). My research interests are in the fields of artificial intelligence planning and model checking. More concretely, I am working on state space search methods such as decoupled state space search.

CV in brief

Short bio

I did my studies in Computer Science at Saarland University. After finishing my MSc. degree, I stayed on as a PhD student in the group of Prof. Jörg Hoffmann. In 2022 I joined RLPLAB at Linköping University.

Awards

  • Dr.-Eduard-Martin-Preis for the best dissertation of the Faculty for Mathematics and Computer Science in 2021 awarded by Saarland University.
  • SoCS 2022 Best Paper Award at the 15th Annual Symposium on Combinatorial Search (SoCS 2022) for the paper Additive Pattern Databases for Decoupled Search


  • ICAPS 2022 Best Dissertation Award for the doctoral thesis Star-Topology Decoupled State-Space Search in AI Planning and Model Checking at the 32th International Conference on Automated Planning and Scheduling (ICAPS 2022).
  • Nominated for the Dissertation Award 2021 of the German Society for Computer Science (GI). This is a national award (joint with Switzerland and Austria) for the best dissertation in the field of Computer Science. Nominated by Saarland University.
  • Runner-Up, Deterministic Sequential Agile Track for the planning system Saarplan at the 9th International Planning Competition (IPC 2018) at ICAPS 2018.


  • Runner-Up, Deterministic Sequential Bounded-Cost Track for the planning system Saarplan at the 9th International Planning Competition (IPC 2018) at ICAPS 2018.
  • Special Recognition for the planning system Saarplan for solving the highest number of problems of all planners in both the Agile and the Satisficing track at the 9th International Planning Competition (IPC 2018) at ICAPS 2018.
  • SPIN 2018 Best Paper Award for the paper Star-Topology Decoupling in SPIN at the 25th International Symposium on Model Checking of Software (SPIN 2018).

Publications

About the division

Colleagues at AIICS

About the department