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

THE Search Book

Lecture WS-13/14: Programming

Lecture SS-14: Logistic-IT

Lecture SS-14: Machine Learning

Research Group: Multiagent Simulation

Research Group: Intelligent Security

Winner and Second Place (Optimal Track) in International Planning Competition hosted at ICAPS-14

Program Chair for ICAPS-16 in London

Influential Paper Award at ICAPS-12

Best Student Paper Award at ICAART-14

Invited Talk at SOCS-12

Invited Talk at IWOCA-13

Invited Talk at RSS-13

Invited Talk at AAAI/IJCAI AI-Summit-14

Invited Talk at SPP AE-14

Co-Chair of Symposium on Combinatorial Search (SOCS-14)

Co-Chair of Graph Inspection and Traversal Engineering (GRAPHITE-14)

Co-Chair of Model Checking and Automated Planning (MOCHAP-14)

Co-Chair of Dagstuhl Seminar on Planning and Model Checking

Co-Chair of PUK-13

Editorial Board @ AIJ

More than 130 papers and 100 co-authors

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, KI-13 (2x), BMVC-13, CEWIT-13, ICAART-14, ICAPS-14, CSR-14, SYSINT-14, IEEE-CIG-14 (2x), MATES-14, KI-14

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

Teaching

CV Highlights (PDF, in German)

CV (PDF, in German)

Publications (PDF, in German)

Chrizzo's Winning Entry on Global Game Jam 2014 in Bremen

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, SPIN), Conferences (e.g., KI, ICAPS, SOCS) as well as Dagstuhl-Seminars (e.g., Directed Model Checking, Graph Search Engineering, Automated Planning and Model Checking) and won several Performance Awards at International Planning Competitions. Together with Stefan Schroedl he is a co-author of the book Heuristic Search - Theory and Applications that has 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

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, Michael Beetz, 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, Erion Plaku, Peter Sanders, Stuart Russell, Sylvie Thiebaux, Ingo Wegener, Willem Visser (etc., over 100 in total)

Program Committees

International Joint Conference on Artificial Intelligence (IJCAI-13, Senior), National Conference on Artificial Intelligence (AAAI-15, Senior), International Conference on Principles of Knowledge Representation and Reasoning (KR-14), International Conference on Automated Planning and Scheduling (ICAPS-14), Symposium on Combinatorial Search (SOCS-14, chair), European Conference on Artificial Intelligence (ECAI-14), German Conference on Artificial Intelligence (KI-14), International Conference on Agents and Artificial Intelligence (ICAART-14 & ICAART-15), International Workshop on Graph Inspection and Traversal Engineering @ ETAPS (GRAPHITE-14, chair), International Workshop on Model Checking and Planning @ ICAPS (MOCHAP-14, chair)

Running Projects

PI BMWI-ZIM Project iMonitor (intelligent monitoring via AI event management).

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)