Gregor Behnke received his doctorate in natural sciences (Dr. rer.-nat.) on December 2nd, 2019. The thesis is entitled "Hierarchical Planning through Propositional Logic: Highly Efficient, Versatile, and Flexible".

More details and the thesis itself can be found here.