معرفی
David Speck is a postdoctoral researcher at the University of Basel, Switzerland, affiliated with the Department of Mathematics and Computer Science. He previously held positions at the Machine Reasoning Lab (Linköping University, Sweden) and the Chair of Foundations of Artificial Intelligence (University of Freiburg, Germany), where he earned his PhD in 2022.
- Bachelor's (2015) and Master's (2018) in Computer Science from the University of Freiburg.
- PhD (Dr. rer. nat.) in 2022 from the University of Freiburg.
His research focuses on Artificial Intelligence, particularly automated planning, symbolic search, and heuristic optimization. He explores techniques like cost partitioning, plan space navigation, and expressive planning formalisms (e.g., axioms, conditional effects, state-dependent costs). Recent work includes modeling matrix multiplication algorithms and analyzing symmetry breaking in planning.
From 2021–2025, his publications span conferences like KR, ECAI, AAAI, and journals such as Journal of Artificial Intelligence Research. Key contributions include methods for perfect saturated cost partitioning, symbolic search with performance guarantees, and plan space counting and reasoning. His work often bridges theoretical analysis with practical planner implementations (e.g., AxSAT, SymK).
He collaborates with researchers like Jendrik Seipp, Daniel Gnad, and Malte Helmert, and has contributed to competitive planner development (e.g., Ragnarok, Odin).
