[TZI]  [Faculty 3, Mathematics/Computer Science]  [University of Bremen] 

Order: THE Search Book

Influential Paper Award at ICAPS-2012

Invited Talk at SOCS-2012

Invited Talk at IWOCA-2013

Editorial Board @ AIJ

Lecture: Algorithmic Intelligence (Algorithmische Intelligenz)

Attend: ETAPS-13 Workshop on Graph Inspection and Traversal Engineering (GRAPHITE)

Proceedings On-Line: German Conference on Artificial Intelligence (KI-11), International Conference on Automated Planning and Scheduling (ICAPS-11)

Check Latest Conference Papers: ICAART-12, CATS-12, ECAI-12, IWOCA-12, MFCS-12, ECMLPKDD-12, KI-12 (2x), ICAART-13 (2x), ICAPS-13, IEEE-SSCI-13 (2x), SSI-2013

Check Latest Journal Papers: JDA-12, JDA-13

Teaching

CV Highlights (PDF, in German)

CV (PDF, in German)

Publications (PDF, in German)

Stefan Edelkamp

Short Bio

Stefan Edelkamp is a Professor in the Institute for Artificial Intelligence at the Faculty of Computer Science and Mathematics of the University of Bremen. He earned his Ph.D. from Freiburg University and has lead a junior research group at Technical University of Dortmund. His scientific interests are centered around Algorithmic Intelligence and include such areas as Heuristic Search, Action Planning, Game Playing, Machine Learning, 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 successful Workshops (e.g., MOCHART-06, SPIN-07), Conferences (e.g., KI-11, ICAPS-11) as well as Dagstuhl-Seminars (e.g., on Directed Model Checking and on Graph Search Engineering) and won several Performance Awards at International Planning Competitions. Together with Stefan Schroedl he is a co-author of the Heuristic Search - Theory and Applications that has recently been published by Morgan Kaufmann / Elsevier Science.

Algorithmic Intelligence

Pioneer

Symbolic-Heuristic Search, Strong Solution of General Games, Perfect and Incremental Hashing with BDDs, GPS-based Map Generation, Pattern Databases in Action Planning, Directed Model Checking (of Protocols, Petri-Nets, Graph Transformation Systems and Presburger Automata), External Memory Search (for MDPs and Multiple Sequence Alignment), Explicit-State and Probabilistic Parallel Model Checking on Multi-Core CPU, SSDs and GPUs, Sequential Sorting and Priority Queues with Weak Heap and Weak Queues

Patent

DE102011077611.7 submitted at Deutschem Patent- und Markenamt

Project Evaluations

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

Co-Authors

Fahiem Bacchus, Mark Boddy, Dragan Bosnacki, Lubos Brim, Tristan Cazenave, Martin Dietzfelbinger, Amr Elmasry, Malte Helmert, Otthein Herzog, Jörg Hoffmann, Stefan Leue, Jyrki Katajainen, Leslie Pack Kaelbling, Richard Korf, Rolf Niedermeier, Ulrich Meyer, Peter Sanders, Stuart Russell, Sylvie Thiebaux, Ingo Wegener, Willem Visser (etc., over 90 in total)

Program Committees

International Joint Conference on Artificial Intelligence (IJCAI-13, Senior), National Conference on Artificial Intelligence (AAAI-13), International Conference on Automated Planning and Scheduling (ICAPS-13), Symposium on Combinatorial Search (SOCS-13), European Conference on Artificial Intelligence (ECAI-12), German Conference on Artificial Intelligence (KI-13), International Conference on Agents and Artificial Intelligence (ICAART-14), International Workshop on Graph Inspection and Traversal Engineering @ ETAPS (GRAPHITE-13, chair), Model Checking Software (SPIN-13), International Workshop on General Game Playing @ IJCAI (GIGA-13), International Computer Games Workshop @ IJCAI (CGW-13), International Conference on Artificial Intelligence: Methodology, Systems, Applications (AIMSA-12),

Running Projects

Leader of DFG Project on Planning for General Game Playing.

PI University of Bremen for EU-Project FlourPOWER.

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

Member of the Editorial Board of the Journal Progress in Artificial Intelligence

Member of the Editorial Board of the International Journal of Artificial Intelligence & Applications

Speaker of GI Interest Group in Planning, Scheduling, Configuration and Design (PUK).

Contact

Prof. Dr. Stefan Edelkamp
Institute for Artificial Intelligence
TAB, Am Fallturm 1, Room 2.62
D-28359 Universität Bremen
Phone: +49-(0)421-218-64007
Fax: +49-(0)421-218-64047
E-mail: edelkamp@tzi.de
Web: www.tzi.de/~edelkamp

Stefan Edelkamp

Stefan Edelkamp (edelkamp@tzi.de)