Stefan Edelkamp

Program Chair: ICAPS in London, IJCAI-Workshop on Computer Games, Symposium on Combinatorial Search, Graph Inspection and Traversal Engineering, Model Checking and Automated Planning, Dagstuhl Seminars on Directed Model Checking, and Planning and Model Checking

Latest Papers: AAAI-22, ICAPS-22, SOCS-22, CG-22, NeuroIPS-23, ESORICS-23, CASE-23, ICAR-23, EPIA-23, ISAIM-24, Journal of Intelligent Manufacturing 2024

Cumulation (DBLP): Over 200 papers and 165 co-authors

Citation Indices (Google): around 7300 citations; h-value=43, i10index=136

Teaching: Freiburg, Dortmund, Lörrach, Bremen, Darmstadt, London, Koblenz, Innsbruck, Prague:
Introdution to Robotics, AI Planning, Game Playing, Robot Navigation, Introduction to AI, Programming, Machine Learning, Theory of Computation, IT-Security, Elementary Logic and Applications, Software Engineering of Internet Applications

Awards: Influential Paper at ICAPS, Best Student Paper at ICAART, Outstanding Paper at KI, Best Paper at MATES

Invited Talks: Conferences (e.g., SEA, ICAPS, IWOCA, SPIN, SYSINT) and Symposia (e.g., PRAIRE, RCI, PIS).

GACR panel member, DFG panel member in Excellence Initaitive

Stefan Edelkamp

Professor in AI, Senior Researcher, Charles University in Prague

Department of Theoretical Computer Science and Mathematical Logic
Faculty of Mathematics and Physics, Charles University

Malostranské náměstí 25
Prague 1, 118 00
Czech Republic
eMail: edelkamp@ktiml.mff.cuni.cz (preferred: stefan.edelkamp@gmail.com)

Short Bio

Stefan Edelkamp is professor in AI at both Charles University and Czech Technical University in Prague. Previously he was professor at King's College London, leading the planning group. Before that he was working at the Institute for Artificial Intelligence, Faculty of Computer Science and Mathematics of the University of Bremen, and at the University of Applied Science in Darmstadt. He earned his Ph.D. from Freiburg University and led a junior research group at Technical University of Dortmund. His scientific interest is Algorithmic Intelligence, and includes areas such as Heuristic Search, Action Planning, Game Playing, Machine Learning, Motion Planning, Multi-Agent Simulation, Model Checking, External-Memory Algorithms, Parallel and Distributed Computing, Algorithm Engineering, Computational Biology, Decision Diagrams, Priority Queues, Navigation Systems, Network Security, and Intrusion Detection. Stefan Edelkamp has organized international conferences, workshops, and seminars and won several performance awards at international planning competitions. Together with Stefan Schroedl he is author of the text book Heuristic Search - Theory and Applications published by Morgan Kaufmann / Elsevier Science. His recent textbook is on Algorithmic Intelligence - Towards an Algorithmic Foundation for Artificial Intelligence published by Springer Nature.

Scientific Contributions

Symbolic-Heuristic Search; Strong Solution of General Games; Perfect/Incremental Hashing with BDDs; GPS Map Generation; Planning Pattern Databases, Directed Model Checking for Protocols, Petri-Nets, Graph Transformation Systems and Presburger Automata; External-Memory State Space Search; MCTS for Multiple Sequence Alignment, VRPs and Packing Problems; Model Checking on Multi-Core CPUs, SSDs, and GPUs; Sorting and Searching with Weak/Strong Heaps; Multi-Goal & Group Motion Planning and Inspection; Large-Scale Machine Learning, Language Models, etc.

Co-Authors

Fahiem Bacchus, Mark Boddy, Dragan Bosnacki, Michael Beetz, Lubos Brim, Tristan Cazenave, Alessandro Cimatti, Martin Dietzfelbinger, Amr Elmasry, Maria Fox, Malte Helmert, Otthein Herzog, Jörg Hoffmann, Stefan Leue, Jyrki Katajainen, Leslie Pack Kaelbling, Richard Korf, Rolf Niedermeier, Ulrich Meyer, Erion Plaku, Peter Sanders, Stuart Russell, Sylvie Thiebaux, Ingo Wegener, Willem Visser, etc.

Program Committees

Intelligent Robots and Systems (IROS), International Conference on Robotics and Automation (ICRA), Uncertainty in AI (UAI), Automated Planning and Scheduling (ICAPS), International Joint Conference on Artificial Intelligence (IJCAI), AAAI Conference on Artificial Intelligence (AAAI), Autonomous Agents and Multiagent-Systems (AAMAS), International Conference on Principles of Knowledge Representation and Reasoning (KR), International Conference on Artificial Intelligence: Methodology, Systems, Applications (AIMSA), Model Checking Software (SPIN), Symposium on Combinatorial Search (SOCS), European Conference on Artificial Intelligence (ECAI), German Conference on Artificial Intelligence (KI), International Conference on Agents and Artificial Intelligence (ICAART), International Workshops on Graph as Models, Model Checking and Planning, Computer Games, etc.

Other Scientific Activities

Member of the Editorial Board of Artificial Intelligence - An International Journal, Member of the Editorial Board of the Journal of Artificial Intelligence, Speaker of German Interest Group in Planning, Scheduling, Configuration and Design. GACR panel member. DFG panel member in Excellence Initaitive. Project Evaluations for: Swiss National Science Foundation, Netherland's Organisation for Scientific Research, Natural Sciences and Engineering Research Council of Canada, Icelandic Research Funds, Israel Science Fondation, Irish Research Council, Deutsche Forschungsgemeinschaft, Engineering and Physical Sciences Research Council, etc.

Stefan Edelkamp