Dr. David Speck

Postdoctoral Researcher
University of Basel
Spiegelgasse 1
4051 Basel, Switzerland
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.
News
Jul 11, 2025 | I contributed to a paper titled Representing Perfect Saturated Cost Partitioning Heuristics in Classical Planning, which was accepted at KR 2025’s KR&R in Planning & Scheduling Track. |
---|---|
Jul 10, 2025 | Two papers I contributed to (On Performance Guarantees for Symbolic Search in Classical Planning and Merging Cartesian Abstractions for Classical Planning) were accepted at ECAI 2025. |
Jul 4, 2025 | A paper I contributed to (AxSAT – Bringing Axioms to SAT Planning) was accepted at JELIA 2025. |