[TZI]  [IAI]  [h-da]  [Faculty 3, Mathematics/Computer Science]  [University of Bremen] 

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

Videos: Robot Motion Planning

Research Group: Multiagent Simulation

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

Program Chair: ICAPS in London, IJCAI-Workshop on Computer Games, PUK, 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): over 170 papers and 130 co-authors

Citation Indices (Google): over 4800 citations; h-value=34, i10index=97

Latest Papers (Conferences): ICAART-16, SPIN-16, ICAPS-16, ESA-16, KI-16 (3x), IEEE-ONMOVE (2x), ICAART-17, TAROS-17, SOCS-17, KI-17

Latest Papers (Journals):: Robotics and Automation, Artificial Intelligence, The Computer Journal, Theory of Computing Systems

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

CVs: Highlights, Full, Teaching, Publications

Games by Chrizzo and Friends

Stefan Edelkamp

Short Bio

Stefan Edelkamp is going to be Professor at King's College London, heading the planning group. Currently he is Professor 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.


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-16, chair), International Joint Conference on Artificial Intelligence (IJCAI-17, senior), AAAI Conference on Artificial Intelligence (AAAI-18, senior), Autonomous Agents and Multiagent-Systems (AAMAS-16), International Conference on Principles of Knowledge Representation and Reasoning (KR-15), International Conference on Artificial Intelligence: Methodology, Systems, Applications (AIMSA-16), Model Checking Software (SPIN-16), Symposium on Combinatorial Search (SOCS-17), European Conference on Artificial Intelligence (ECAI-16), German Conference on Artificial Intelligence (KI-17), International Conference on Agents and Artificial Intelligence (ICAART-18), International Workshops on Graph as Models, Model Checking and Planning, Computer Games (GAMs-17, steering), 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 GI Interest Group in Planning, Scheduling, Configuration and Design (PUK). 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, etc.

Stefan Edelkamp

Prof. Dr. Stefan Edelkamp, Institute for Artificial Intelligence, TAB, Am Fallturm 1, D-28359 Universität Bremen
Fon: +49-(0)151-226-30923, Fax: +49-(0)421-218-64047, eMail: edelkamp@tzi.de