Postdoctoral Researcher at Computational Logic Group (TU Dresden) - Dresden, Saxony, Germany
The Computational Logic Group at the AI Institute of TU Dresden's Computer Science department, headed by Sebastian Rudolph.