|
Order: THE Search Book
Influential Paper Award at ICAPS-2012
Submit: 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:
ICAPS-11, AAAI-11, ICAART-12,
IWOCA-11, CATS-12, ECAI-12, IWOCA-12
Teaching
CV Highlights (PDF, in German)
CV (PDF, in German)
Publications (PDF, in German)
|
Stefan Edelkamp
Profile
Interest in
 , including
Heuristic Search, Action Planning, General and Individual Game Playing,
Machine Learning, Automated Theorem Proving, Robotics,
Model Checking, Hard-/Software Verification, Protocol/Program Validation,
External-Memory Algorithms, Hard and Solid State Disk Models,
Parallel and Distributed Computing, GPU Programming,
Algorithm Engineering, Computational Biology, Pattern Matching,
Decision Diagrams, Sequential Sorting, Graph Algorithms, Priority Queues,
Computational Geometry, Navigation Systems, Network Security,
Intrusion Detection
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 (SNSF),
Netherland's Organisation for Scientific Research (NWO),
Natural Sciences and Engineering Research Council of Canada (NSERC)
Co-Authors
Fahiem Bacchus, Mark Boddy, Dragan Bosnacki, Lubos Brim, 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-11),
European Conference on Artificial Intelligence (ECAI-12),
National Conference on Artificial Intelligence (AAAI-12),
German Conference on Artificial Intelligence (KI-12),
International Conference on Artificial Intelligence: Methodology, Systems, Applications (AIMSA-12),
International Conference on Agents and Artificial Intelligence (ICAART-12),
Workshop on Graph Inspection and Traversal Engineering (GRAPHITE-12),
Model Checking Software (SPIN-12),
Parallel and Distributed Methods in verifiCation (PDMC-12),
Workshop on Security and High Performance Computing Systems (SHPCS-12),
Workshop on the International Planning Competition (WIPC-12),
Workshop on Problem Solving using Classical Planners (CP4PS-12),
International Competition on Knowledge Engineering
for Planning and Scheduling (ICKEP-12),
Computer Games Workshop (CGW-12)
Running Projects
Leader of DFG Project on Model Checking for SSD and GPU
Leader of DFG Project on
Planning for General Game Playing
Coordinator of
BMBF Project FIDES
Other Scientific Activities
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 Journal
International Journal of Artificial Intelligence & Applications
Speaker of GI Interest Group in Planning, Scheduling,
Configuration and Design (PUK).
Contact
Prof. Dr. Stefan Edelkamp
Technologie-Zentrum Informatik und Informationstechnik
Am Fallturm 1, Raum 2.62
D-28357 Universität Bremen
Phone: +49-(0)421-218-64007
Fax: +49-(0)421-218-7820
E-mail: edelkamp@tzi.de
Web: www.tzi.de/~edelkamp
|
|