Fotografi av David Speck

David Speck

Postdoktor

Forskning inom artificiell intelligens med fokus på automatiserad planering.

AI och automatiserad planering

Forskning inom artificiell intelligens med fokus på automatiserad planering.

Jag är postdoktor och mitt primära forskningsintresse är inom området artificiell intelligens med fokus på automatiserad planering. 

CV i korthet (på engelska)

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

Publikationer

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), s. 1044-1051 Vidare till 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), s. 453-460 Vidare till 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), s. 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), s. 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), s. 91-99

Om avdelningen

Kollegor vid AIICS

Om institutionen