Daniel Gnad

Assistant Professor

About Me

I am assistant professor at Linköping University. 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 and have some experience in developing domain-independent heuristics such as red-black heuristics. More recently, I got interested in the grounding process that most planning systems perform as preprocessing. Together with my co-authors, I work on partial grounding methods that try to tackle the exponential blow-up that can occur during grounding by leveraging machine learning techniques.

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

Awards

Publications

2023

2022

2021

2020

2019

2018

2017

2016

2015