[KCL]  [KCL PLANNING]  [IAI]  [HDA] 

Ad: THE Search Book

New: Max Gath is winner of Wissenschaftspreis Logistics

Lectures: Programming, Machine Learning, Complexity Theory, Theory of Computing, Algorithm Theory, IT-Security Elementary Logic Software Engineering of Internet Applications

Videos: Robot Motion Planning Multiagent Simulation

Winner: Optimal Tracks of International Planning Competitions (2008,2014)

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 Seminar on Planning and Model Checking

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

Invited Talks: SOCS, IWOCA , RSS, AAAI/IJCAI AI-Summit, SPP AE

Cumulation (DBLP): About 175 papers and 140 co-authors

Citation Indices (Google): around 5000 citations; h-value=34, i10index=103

Latest Papers: Conferences: AAAI-15, CSR-15, SOCS-15, DACH-SECURITY-15 ICPLT-15, IEEE-IDAACS-15, MATES-15, KI-15, IROS-15, ICAART-16, SPIN-16, ICAPS-16, ESA-16, KI-16 (3x), IEEE-ONMOVE (2x), ICAART-17, TAROS-17, SOCS-17, KI-17

Journals: Robotics and Automation, Artificial Intelligence, The Computer Journal, Theory of Computing Systems

Teaching: Freiburg, Dortmund, Lörrach, Bremen, Darmstadt, London

Stefan Edelkamp

Professor in AI Planning, King's College London

Department of Informatics
Faculty of Natural and Mathematical Sciences
King's College London
Strand Campus, Bush House
30 Aldwych, London WC2B 4BG

+44-20-7-848-8806
+49-151-226-30-923
eMail: stefan.edelkamp@kcl.ac.uk

Short Bio

Stefan Edelkamp is 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.

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, 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

International Conference on Automated Planning and Scheduling (ICAPS), International Joint Conference on Artificial Intelligence (IJCAI, senior), AAAI Conference on Artificial Intelligence (AAAI, senior), 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, Former Member of the Editorial Board of the Journal of Artificial Intelligence, Speaker of German Interest Group in Planning, Scheduling, Configuration and Design. 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