Stefan Edelkamp

    Researcher and Lecturer 



Interests:

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 

Program Committees (2010):

International Conference on Automated Planning and Scheduling (ICAPS-10)
National Conference on Artificial Intelligence (AAAI-10)
European Conference on Artificial Intelligence (ECAI-10)
Model Checking and Artificial Intelligence (MOCHART-10)
Security and Artificial Intelligence (SECART-10)
Symposium on Combinatorial Search (SOCS-10)
Model Checking Software (SPIN-10)
Knowledge Engineering in Planning and Scheduling (KEPS-10)
Security and High Performance Computing Systems (SHPCS-10)


E-mail:  edelkamp@tzi.de

Address: 
         Priv.-Doz. Dr. Stefan Edelkamp
         Technologie-Zentrum Informatik und Informationstechnik 
         Am Fallturm 1, Raum 2.62
         D-28357 Universität Bremen
         Phone: +49-(0)421-218-4676 
         Fax: +49-(0)421-218-7820 
         Web: www.tzi.de/~edelkamp