Home • Publications • Teaching • Academic Services • Projects • All News
All News
Paper Accepted at CP 2026
May 08, 2026
Paper End-to-end Certified Graph Colouring Simon Dold, George Katsirelos, Wietze Koops, Magnus O. Myreen, Jakob Nordström, Andy Oertel and Yong Kiam Tan accepted at the 32th International Conference on Principles and Practice of Constraint Programming (CP26). To appear (PDF)
Paper Accepted at ICAPS 2026
Mar 20, 2026
Short paper Potential Heuristics as Real-Valued Multilinear Polynomials Augusto B. Corrêa, Simon Dold and Malte Helmert accepted at the 36th International Conference on Automated Planning and Scheduling (ICAPS26). To appear (PDF)
Served as a reviewer for KR 2025
Jul 16, 2025
Served as a reviewer for KR 2025.
Supervised the bachelor's thesis of Valdrin Sheremetaj
Jul 03, 2025
Supervised the bachelor’s thesis of Valdrin Sheremetaj.
Paper Accepted at ICAPS 2025
Mar 01, 2025
Paper Pseudo-Boolean Proof Logging for Optimal Classical Planning Simon Dold, Malte Helmert, Jakob Nordström, Gabriele Röger and Tanja Schindler accepted at the 35th International Conference on Automated Planning and Scheduling (ICAPS25). (PDF)
Tutored Foundations of Artificial Intelligence
Feb 17, 2025
Tutored the Lecture Foundations of Artificial Intelligence (2025) by Prof. Dr. Malte Helmert.
Served as a reviewer for ICAPS 2025
Feb 11, 2025
Served as a reviewer for ICAPS 2025.
Supervised the bachelor's thesis of Gianluca Klimmer
Jul 15, 2024
Supervised the bachelor’s thesis of Gianluca Klimmer.
Served as a reviewer for HSDIP 2024
Apr 26, 2024
Served as a reviewer for HSDIP 2024.
Workshop Paper Accepted at WIPC 2024
Apr 16, 2024
Workshop Paper Planning Domain Modelling Competition Simon Dold accepted at the ICAPS 2024 Workshop on the International Planning Competition (WIPC24). (PDF)
Tutored Foundations of Artificial Intelligence
Feb 26, 2024
Tutored the Lecture Foundations of Artificial Intelligence (2024) by Prof. Dr. Malte Helmert.
Paper Accepted at ICAPS 2024
Feb 12, 2024
Paper Higher-Dimensional Potential Heuristics: Lower Bound Criterion and Connection to Correlation Complexity Simon Dold and Malte Helmert accepted at the 34th International Conference on Automated Planning and Scheduling (ICAPS24). (PDF)
Paper Accepted at AAAI 2024
Dec 09, 2023
Implemented the VoteBot
Jul 14, 2023
VoteBot for the discord server of the Reading Group on Planning and Search.
Co-Supervised the master's thesis of Tim Bachmann
May 30, 2023
Co-Supervised the master’s thesis of Tim Bachmann.
Served as an additional reviewer for ICAPS 2023
Feb 04, 2023
Served as an additional reviewer for ICAPS 2023.
Tutored Discrete Mathematics in Computer Science
Sep 21, 2022
Tutored the Lecture Discrete Mathematics in Computer Science (2022) by Prof. Dr. Malte Helmert and Dr. Gabriele Röger.
Joined the Fast Downward developer team
Mar 02, 2022
Fast Downward.
A domain-independent classical planning system.
Started as a PhD student
Mar 01, 2022
Started as a PhD student in the Artificial Intelligence research group at the University of Basel under the supervision of Prof. Dr. Malte Helmert.
Completed Master's Thesis: Correlation Complexity and Different Notions of Width
May 01, 2021
Completed my Master’s thesis titled Correlation Complexity and Different Notions of Width. (PDF) supervised by Dr. Thomas Keller and Augusto B. Corrêa, and examined by Prof. Dr. Malte Helmert.
Supervised a student project in the study week 'Fascinating Informatics' of the foundation Swiss Youth in Science.
Sep 11, 2020
Supervised the student project Intelligent Guardian during the Fascinating Informatics study week (2020) of Swiss Youth in Science, under the guidance of Prof. Dr. Florina M. Ciorba.
Tutored Introduction to Programming
Sep 21, 2019
Tutored the Lecture Introduction to Programming (2019) by Prof. Dr. Thomas Vetter and Dr. Marcel Lüthi.
Completed Bachelor's Thesis: Graphenbasierte Molekülrepräsentation im Quantum Machine Learning (Graph-based Molecule Representation in Quantum Machine Learning)
Jan 30, 2019
Completed Bachelor’s Thesis titled Graphenbasierte Molekülrepräsentation im Quantum Machine Learning (Graph-based Molecule Representation in Quantum Machine Learning) supervised by Dr. Peter Zaspel and examined by Prof. Dr. Helmut Harbrecht.