
Daniel Gnad
Postdoktor
"Planning and model checking" inom artificiell intelligens.
Postdoktor
"Planning and model checking" inom artificiell intelligens.
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.