Photo of David Speck

David Speck

Postdoc

AI and automated planning

Research interest in artificial intelligence, with a focus on automated planning.

I am a postdoctoral researcher. My primary research interest is in the field of artificial intelligence, with a focus on automated planning, i.e., the problem of finding a course of action that allows an intelligent agent to move from any situation it finds itself in to one that satisfies its goals.

CV in brief

I completed my bachelor’s degree in 2015 and my master’s degree in 2018 in computer science at the University of Freiburg. 

From April 2018 to May 2022, I was a scientific employee at the University of Freiburg, Germany, at the Chair of Foundations of

Artificial Intelligence of Prof. Dr. Bernhard Nebel and received my PhD (Dr. rer. nat.) in February 2022.

Since June 2022, I have been part of the RLPLAB team at Linköping University, Sweden.

I received the Wolfgang-Gentner-Award for Young Researchers for my dissertation Symbolic Search for Optimal Planning with Expressive Extensions

Jul 10, 2022 I was involved in the PARIS team that won several tracks of the 1st Combinatorial Reconfiguration Challenge

Publications

2023

Paul Höft, David Speck, Jendrik Seipp (2023) Sensitivity Analysis for Saturated Post-hoc Optimization in Classical Planning Proceedings of the 26th European Conference on Artificial Intelligence (ECAI 2023), p. 1044-1051 Continue to DOI
Remo Christen, Salomé Eriksson, Michael Katz, Christian Muise, Alice Petrov, Florian Pommerening, Jendrik Seipp, Silvan Sievers, David Speck (2023) PARIS: Planning Algorithms for Reconfiguring Independent Sets Proceedings of the 26th European Conference on Artificial Intelligence (ECAI 2023), p. 453-460 Continue to DOI
Gregor Behnke, David Speck, Michael Katz, Shirin Sohrabi (2023) On Partial Satisfaction Planning with Total-Order HTNs Proceedings of the 33rd International Conference on Automated Planning and Scheduling (ICAPS 2023), p. 42-51
David Speck, Paul Höft, Daniel Gnad, Jendrik Seipp (2023) Finding Matrix Multiplication Algorithms with Classical Planning Proceedings of the 33rd International Conference on Automated Planning and Scheduling (ICAPS 2023), p. 411-416

2022

Kilian Hu, David Speck (2022) On Bidirectional Heuristic Search in Classical Planning: An Analysis of BAE* Proceedings of the 15th Annual Symposium on Combinatorial Search (SoCS 2022), p. 91-99

About the division

Colleagues at AIICS

About the department