Dr. David Speck

Dr. David Speck
Department of Mathematics and Computer Science
Spiegelgasse 5
CH - 4051 Basel, Switzerland
+41 61 20 72688

I am a postdoctoral researcher at the University of Basel, Switzerland. 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.

Short Bio

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. From June 2022 to May 2024 I was part of the Machine Reasoning Lab as a postdoctoral researcher at Linköping University, Sweden. Since June 2024, I have been part of the Artificial Intelligence research group team at University of Basel, Switzerland.

For now, more detailed information about my academic career can be found on my personal website.


(Show all abstracts) (Hide all abstracts)


  • David Speck and Daniel Gnad.
    Decoupled Search for the Masses: A Novel Task Transformation for Classical Planning.
    In Proceedings of the 34th International Conference on Automated Planning and Scheduling (ICAPS 2024), pp. 546-554. 2024.
    (Show abstract) (PDF) (appendix, code, scripts and data)

  • Paul Höft, David Speck, Florian Pommerening and Jendrik Seipp.
    Versatile Cost Partitioning with Exact Sensitivity Analysis.
    In Proceedings of the 34th International Conference on Automated Planning and Scheduling (ICAPS 2024), pp. 276-280. 2024.
    (Show abstract) (PDF) (code, scripts and data)

  • Daniel Gnad and David Speck.
    On an Attempt at Casting Orbit Search as a Task Transformation.
    In Proceedings of the ICAPS 2024 Workshop on Echoing (failed) Efforts in Planning (WEEP 2024). 2024.
    (Show abstract) (PDF)

A full list of my publications, including those prior to joining the Artificial Intelligence research group in Basel in 2024, can be found here.