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