Before joining AIC as Full Professor, Stefan Edelkamp was leading the planning group at King's College London. During his exciting research career, Stefan was also 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. For a short period of time, he held the position of an Interim Professor at the University of Koblenz and Landau and Paris Dauphine University. Stefan earned his Ph.D. from Freiburg University and led a junior research group at Technical University of Dortmund.
His main scientific interest is Algorithmic Intelligence, and includes areas such as Heuristic Search, Action Planning, Game Playing, Machine Learning, Motion Planning (see the related Robot Motion Plannin playlist on YouTube), 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. See Stefan's DBLP page for the full list of publications.
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.
Runner-Up: Optimal Track of International Planning Competition (2018), Winner: Optimal Tracks of International Planning Competitions (2008,2014), Influential Paper at ICAPS, Best Student Paper at ICAART, Outstanding Paper at KI, Best Paper at MATES
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.
International Conference on Automated Planning and Scheduling (ICAPS), International Joint Conference on Artificial Intelligence (IJCAI, senior), AAAI Conference on Artificial Intelligence (AAAI, senior), 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.
Outstanding work deserves credit. We want to highlight the extraordinary work of our teachers and put their effort in the spotlight. Each semester, the AI Center will announce the "Outstanding Teaching Assistant Award" which comes with a prize money of 15 000 CZK. The very first winner will be awarded in April 2023.
Our AI and cybersecurity research laboratory will participate in the global program for open-source programming this summer. Apply to improve your coding skills and work on real-world problems!
We are opening a new course on Quantum Computing taught by Jakub Mareček and his team from the Optimization group.
