Hem

"Planning and model checking" inom artificiell intelligens

Jag är biträdande professor vid Artificiell intelligens och integrerade datorsystem (AIICS).

CV (kortfattat och på engelska) 

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 the RLPLab at Linköping University as a postdoctoral researcher, where I became assistant professor in 2023.

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).

Publikationer

Om avdelningen

Kollegor vid AIICS

Fotografi av Olov Andersson

Olov Andersson

Postdoktor

Mohsen Asgari

Doktorand

Fotografi av Cyrille Berger

Cyrille Berger

Universitetslektor

David Bergström

Doktorand

Fotografi av Marcel Bollmann

Marcel Bollmann

Universitetslektor

Christer Bäckström

Universitetslektor, Docent

Fotografi av Peter Dalenius

Peter Dalenius

Universitetsadjunkt

Fotografi av Patrick Doherty

Patrick Doherty

Professor

Fotografi av Ehsan Doostmohammadi

Ehsan Doostmohammadi

Doktorand

Fotografi av Dominik Drexler

Dominik Drexler

Doktorand

William Ejnervall

Amanuens

Leif Eriksson

Doktorand

Johannes Klaus Fichte

Universitetslektor

Martin Forsberg

Amanuens

Fotografi av Markus Fritzsche

Markus Fritzsche

Doktorand

Fotografi av Martin Funkquist

Martin Funkquist

Doktorand

Fotografi av Hector Geffner

Hector Geffner

Gästprofessor

Christoffer Gärdin

Amanuens

Julia Hannu

Forskningsingenjör

Fotografi av Fredrik Heintz

Fredrik Heintz

Professor, Avdelningschef, Enhetschef

Fotografi av Oskar Holmström

Oskar Holmström

Doktorand

Fotografi av Paul Höft

Paul Höft

Doktorand

Peter Jonsson

Professor, Enhetschef

Fotografi av Marco Kuhlmann

Marco Kuhlmann

Proprefekt, Professor, Enhetschef

Jenny Kunz

Doktorand

Fotografi av Jonas Kvarnström

Jonas Kvarnström

Universitetslektor, Docent

Lars Johan Källström
Fotografi av Victor Lagerkvist

Victor Lagerkvist

Universitetslektor, Docent

Dennis Malmgren
Fotografi av Linda Mannila

Linda Mannila

Adjungerad universitetslektor

Mikael Nilsson
Fotografi av Ulf Nilsson

Ulf Nilsson

Professor emeritus

George Osipov

Doktorand

Fotografi av Tommy Persson

Tommy Persson

Forskningsingenjör

Fredrik Präntare

Doktorand

Fotografi av Fawad Qayum

Fawad Qayum

Koordinator

Resmi Ramachandran Pillai

Postdoktor

Fotografi av Piotr Rudol

Piotr Rudol

Forskningsingenjör

Fotografi av Ali Sahraee

Ali Sahraee

Doktorand

Erik Sandewall

Professor emeritus

Fotografi av Jendrik Seipp

Jendrik Seipp

Biträdande universitetslektor, Docent

Fotografi av Md Fahim Sikder

Md Fahim Sikder

Doktorand

Mika Skjelnes

Doktorand

Fotografi av David Speck

David Speck

Postdoktor

Fotografi av Simon Ståhlberg

Simon Ståhlberg

Förste forskningsingenjör

Fotografi av Andrzej Szalas

Andrzej Szalas

Professor emeritus

Fotografi av Mattias Tiger

Mattias Tiger

Postdoktor

Olle Torstensson

Doktorand

Fotografi av Mariusz Wzorek

Mariusz Wzorek

Forskningsingenjör

Fotografi av Daniel de Leng

Daniel de Leng

Forskningsingenjör

Om institutionen

Taggar