Stefan Edelkamp
Professor in AI, Senior Researcher, Charles University in Prague
Department of Theoretical Computer Science and Mathematical Logic
Faculty of Mathematics and Physics, Charles University
Malostranské náměstí 25
Prague 1, 118 00
Czech Republic
V Holešovičkách 747/2
Prague 8, 18000
Czech Republic
eMail: edelkamp@ktiml.mff.cuni.cz (preferred: stefan.edelkamp@gmail.com)
Short Bio
Stefan Edelkamp is full professor in Robotics and AI at Charles
University. Previously he was professor at Czech Technical University
in Prague and King's College London, leading the respective planning
groups. Before that he was working at the Institute for Artificial
Intelligence, Faculty of Computer Science and Mathematics of the
University of Bremen, and at the University of Applied Science in
Darmstadt. He earned his Ph.D. from Freiburg University and led a
junior research group at Technical University of Dortmund. For more than
five years he worked as consultant in AI for team neusta. His
scientific interest is Algorithmic Intelligence, and includes areas
such as Heuristic Search, Action Planning, Game Playing, Machine
Learning, Motion Planning, 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 international conferences,
workshops, and seminars and won several performance awards at
international planning competitions. Together with Stefan Schroedl he
is author of the text book Heuristic Search - Theory and
Applications published by Morgan Kaufmann / Elsevier Science. His
recent textbook is on
Algorithmic Intelligence - Towards an Algorithmic Foundation for Artificial Intelligence
published by Springer Nature.
Scientific Contributions Symbolic-Heuristic Search; Strong Solution of
General Games; Perfect/Incremental Hashing with BDDs; GPS Map
Generation; Planning Pattern Databases, Directed Model Checking
for Protocols, Petri-Nets, Graph Transformation Systems and Presburger
Automata; External-Memory State Space Search; MCTS for Multiple
Sequence Alignment, VRPs and Packing Problems; Model Checking on
Multi-Core CPUs, SSDs, and GPUs; Sorting and Searching with
Weak/Strong Heaps; Multi-Goal & Group Motion Planning and
Inspection; Large-Scale Machine Learning, etc.
Co-Authors
Fahiem Bacchus, Mark Boddy, Dragan Bosnacki, Michael Beetz, Lubos Brim, Tristan Cazenave, Alessandro Cimatti, Martin Dietzfelbinger, Amr Elmasry, Maria Fox, 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.
Program Committees
Intelligent Robots and Systems (IROS),
International Conference on Robotics and Automation (ICRA),
Uncertainty in AI (UAI),
Automated Planning and Scheduling (ICAPS),
International Joint Conference on Artificial Intelligence (IJCAI),
AAAI Conference on Artificial Intelligence (AAAI),
Autonomous Agents and Multiagent-Systems (AAMAS),
International Conference on Principles of Knowledge
Representation and Reasoning (KR),
International Conference on Artificial
Intelligence: Methodology, Systems, Applications (AIMSA),
Model Checking Software (SPIN),
Symposium on Combinatorial Search (SOCS),
European Conference on Artificial Intelligence (ECAI),
German Conference on Artificial
Intelligence (KI), International Conference on Agents and
Artificial Intelligence (ICAART), International Workshops on Graph
as Models, Model Checking and Planning, Computer Games,
etc.
Other Scientific Activities
Member of the Editorial Board of
Artificial Intelligence - An International Journal,
Member of the Editorial Board of the
Journal of Artificial Intelligence,
Speaker of German Interest Group in Planning, Scheduling,
Configuration and Design. GACR panel member.
DFG panel member in Excellence Initaitive.
Project Evaluations for:
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,
Engineering and Physical Sciences Research Council, etc.
|
