CURRICULUM VITAE: STEFAN EDELKAMP

Transcription

1 CURRICULUM VITAE: STEFAN EDELKAMP CONTACT Universität Bremen, Am Fallturm 1, Bremen Tel: +49-(0) , Mobile: +49-(0) , Fax: +49-(0) Web: edelkamp BIRTH July, Kids: Lovis Sep. 2013, Raban April 2010, Justus July 2005, and Maximilian June DEGREES Professorship. Universität Bremen, Reviewers: Otthein Herzog and Kerstin Schill. Venia Legendi. Habilitation: Data Structures and Learning Algorithms in State-Space Search. Universität Freiburg, Reviewer: Sven Koenig, Bernhard Nebel, and Luc DeReadt. Dr. rer. nat.. Universität Freiburg, Dissertation: Data Structures and Learning Algorithms in State-Space Search. Reviewer: Thomas Ottmann and Bernhard Nebel. Note: Sehr Gut. Examination. University College Dublin, Ireland Average Grade: 71,6%. Diploma in Computer Science. Universität Dortmund Reviewer: Ingo Wegener, Martin Dietzfelbinger. Degree: Summa Cum Laude. High School. Friedenschule Münster, Average Grade: 1.4. POSITIONS Universität Bremen. Institute for Artificial Intelligence (Michael Beetz) Technologie-Zentrum Informatik und Informationstechnik, Fachbereich Mathematik und Informatik. Dec today. Universität Dortmund (Bernhard Steffen), Chair for Programmiersysteme und Compilerbau, Fakultät für Informatik. March 2003 Nov Universität Freiburg. Chair for Algorithmen und Datenstrukturen (Thomas Ottmann), Institut für Informatik und Angewandte Wissenschaften. Oct Feb University of California Los Angeles. Chair for Artificial Intelligence (Richard Korf), Computer Science Department. Aug. - Sep Universität Freiburg, Graduiertenkolleg Menschliche und Maschinelle Intelligenz. April 1996 Sep MILITARY SERVICE Air Force. Budel and Cuxhaven, Juli Sep

2 AWARDS 1. Diploma in Computer Science. 2. PhD and Postdoc grants by DFG 3. Honarable Mention Award 2nd IPC (Fully Automated Planning). Planner MIPS. 4. Distinguished Performance Award 3rd IPC (Fully Automated Planning). Planner MIPS. 5. Distinguished Performance Award 5th IPC (Satisficing Complex Preferences and Constraints). Planner MIPS-XXL nd Place Performance Award 6th IPC (Optimal Net Benefit). Planner MIPS-XXL st Place Performance Award 6th IPC (Optimal Net Benefit). Planner GAMER st Place Performance Award 6th IPC (Sequential Optimal). Planner GAMER st Place Performance Award 6th IPC. (Fully Observable, Non-Determinstic). Planner GAMER. 10. Outstanding Paper Award for Symbolic Classification of General Two-Player Games, KI Influential Paper Award for Planning with Pattern Databases, ICAPS Best Student Paper Award for Solving Single Vehicle Pickup-and-Delivery Problems with Time Windows and Capacity Constraints using Nested Monte-Carlo Search, ICAART st Place Performance Award 8th IPC. (Deterministic Optimal). Planner SymBA nd Place Performance Award 8th IPC. (Deterministic Optimal). Planner cgamer. 15. Travel grants from AAAI, DFG, u.a. 16. Grants for Conference Organization from Artificial Intelligence Journal, Springer, DFG, NFA etc. CHAIRING INTERNATIONAL EVENTS 1. International Conference on Automated Planning and Scheduling (ICAPS), London, 2016, Freiburg, Symposium of Combinatorial Search (SOCS), Prag, Künstliche Intelligenz (KI), Berlin, Model Checking Software (SPIN), Model Checking and Artificial Intelligence (MOCHART), Dagstuhl-Seminars Planning and Model Checking, 2014, Graph Search Engineering, 2009, Directed Model Checking, ICAPS-Workshops: Model Checking and Automated Planning, New Hemshire, 2014, Knowledge Engineering, 2007, Planning Competition, ETAPS-Workshops: Graph Inspection and Traversal Engineering, Talinn 2012, Rome 2013, Toulouse IJCAI/AAAI-Workshops: Intelligent Security, Thessaloniki 2009, Atlanta 2010, Barcelona 2011, Computer Games, Buenos Aires, Doctoral Programs: ICAPS (DC), Atibaia, Sao Paulo, 2012, AAAI (SA), Atlanta, KI-Workshops: Algorithmic Intelligence, Planning, Configuration & Design (PUK), nd International Knowledge Engineering Competition (ICKEPS) th International Planning Competition (IPC). 2

3 INVITED TALKS (SELECTION) 1. Algorithmic Intelligence. AAAI/IJCAI Summit, New York, Algorithm Engineering for Searching & Sorting. Hasso-Plattner-Institut/Universität Potsdam, Action Planning & General Game Playing for Robots, Robotics Science and Systems, Berlin, Weak Heaps and Friends Show me your Bits. Combinatorial Algorithms. Rouen, Heuristic or Blind Search. Symposium on Combinatorial Search. Nigeria Falls, Canada, An Algorithmic Engineer Aiming at Cognition. Universität Erlangen AI-Search Searching AI. Universität Kaiserslautern GPUs for Model Checking and AI Planning. University of Copenhagen Search in Planning. Panel Discussion. Symposium on Combinatorial Search Graph Search Engineering. Estonian Summer School in Computer and Systems Science, Planning & Petri Nets, ICAPS, Thessaloniki, External-Memory Search, ICAPS, Sydney, 2008 & AAAI, Chicago, Directed Model Checking, ICAPS, Monterey, 2005 & SPIN, Vienna, PROGRAM COMMITTEES 1. International Joint Conference on Artificial Intelligence (IJCAI-09 IJCAI-15, senior). 2. National Conference on Artificial Intelligence (AAAI-05 AAAI-15, senior). 3. European Conference on Artificial Intelligence (ECAI-06 ECAI-14). 4. International Conference on Automated Planning and Scheduling (ICAPS-05 ICAPS-16). 5. Symposium on Abstraction, Reformulation, and Approximation (SARA-05 SARA-13). 6. International Conference on Knowledge Representation (KR-14). 7. International Conference on Agents and Artificial Intelligence (ICAART-11 ICAART-16). 8. International Conference on Artificial Intelligence: Methodology, Systems, Applications (AIMSA-08 AIMSA-14). 9. International Conference on Artificial Intelligence and Application (AIA-12). 10. Model Checking Software (SPIN-05 SPIN-12). 11. Model Checking and Artificial Intelligence (MOCHART-02 MOCHART-10). 12. Florida Artificial Intelligence Research Society (FLAIRS-04). 13. German Conference on Artificial Intelligence (KI-07 KI-16). 14. Symposium on Combinatorial Search (SOCS-09 SOCS-16). 15. Parallel and Distributed Methods in Verification (PDMC-07 PDMC-12). 16. International Symmetry Conference (ISC-07). STEERING COMMITTEES 1. Model Checking Software (SPIN), Symposium of Combinatorial Search (SOCS), 2014 today. 3. Model Checking and Artificial Intelligence (MOCHART), 2007 today. 4. International Planning Competition Committee (IPCC), 2006 today. 5. GI-Special Interest Group Planning, Configuration and Design (PUK), Sep today. 3

4 EDITORIAL BOARDS 1. Journal of Artificial Intelligence, 2013 today 2. Journal of Artificial Intelligence Research, International Journal on Artificial Intelligence and Application, 2012 today 4. Journal of Progress in Artificial Intelligence, 2011 today REVIEWING FOR INTERNATIONAL JOURNALS (SELECTION) IET Information Security, The Computer Journal, International Journal of Foundations of Computer Science, International Journal of Computer Mathematics, Journal Annals of Mathematics and Artificial Intelligence, Journal of Discrete Algorithms, Journal of Automated Reasoning, Journal of Knowledge-based Systems, Journal of the ACM, Transactions on Software Engineering and Methodology, IEEE Transactions on Computers, Artificial Intelligence Journal, Journal of Artificial Intelligence Research, Journal of Experimental Algorithms, Journal of Combinatorial Optimization, Journal of Information Sciences, Journal of Scheduling, Journal Artificial Intelligence Review, IEEE Transactions on Computers, Nordic Journal of Computing, International Journal on Software Tools for Technology Transfer, Data & Knowledge Engineering Journal, Software Testing, Verification and Reliability, Information Processing Letters, Journal of Computer Science and Technology, Journal of Zhejiang University, etc. PROJECTS 1. Principle Investigator EU-Project FlourPower today. 2. Principle Investigator DFG-SFB EASE. Submitted, Lead of ZIM-Project imonitor with DecoIT GmbH, neusta GmbH today. 4. Partner in Living Lab in Bangalore, Mobility and ICT, Research for Smart City Solutions (Lilaban) mit: Center for Infrastructure, Sustainable Transportation and Urban Planning (CiSTUP), Indian Institute of Science (IISc), Deutsche Akademie der Technikwissenschaften (ACATECH), Transportation Research & Consulting (TRC), Institut für Transportlogistik TU Dortmund (ITL), International Institute of Information Technology (IIIT-Bangalore), BOSCH, Bangalore Metropolitan Transport Corporation (BMTC), Nextbike Principle Investigator in Project KMU-Innovativ SAIM Schutz Androids durch intelligentes Monitoring with Sirrix AG, neusta GmbH, IFIS Gelsenkirchen today. 6. Principle Investigator in BMBF-Project FIDES Frühwarn- und Intrusion Detection System auf der Basis von kombinierten Methoden der KI with: Telekom AG, ZF AG, Nicos AG, Mobile Solution Group, Algorithmica, IFIS Gelsenkirchen Lead of DFG-Project Model Checking on SSD and GPU Lead of DFG-Project Planning Algorithms for General Game Playing Lead of DFG-Project External Implicit Graph Search SPP Algorithm Engineering DFG Junior Research Group Leader (Emmy-Noether) Heuristische Suche Lead of DFG-Project Directed Model Checking with Exploration Algorithms of Artificial Intelligence Lead of DFG-Project Heuristic Search and its Application to the Validation of Protocols EVALUATION REPORTS Swiss National Science Foundation, Netherland s Organisation for Scientific Research, Natural Sciences and Engineering Research Council of Canada, Israel Science Foundation, Deutsche Forschungsgemeinschaft, Islandic Research Funds. Irish Research Council, National Commission for Scientific and Technological Research, Applications for Tenure and Promotion (USA and Canada), etc. CITATION INDICES h-index: 31, i10-index: 86 (Google Scholar). 4

5 TEACHING AT UNIVERSITÄT BREMEN 1. Course Maschine Learning (SS 2014, SS 2015). 2. Course IT-Logistic (SS 2014). 3. Course Programming (WS 2013/14). 4. Course Algorithmic Intelligence (SS 2013). 5. Course Programming (WS 2012/13). 6. Project Group GGP++ (WS 2011/12 SS 2012). 7. Course Algorithm Theory (SS 2011). 8. Course Action Planning and General Game Playing (WS 2010/11). 9. Course Algorithm Engineering (SS 2010). 10. Seminar Game Theory (SS 2010). 11. Project Group FIDIUS (WS 2009/10 SS 2011). 12. Course Algorithm Engineering (SS 2009). 13. Seminar Game Theory (SS 2009). TEACHING AT UNIVERSITÄT DORTMUND 1. Course Algorithm Design on Modern Hardware (WS 2008/09). 2. Course Game Theory (SS 2008). 3. Course Action Planning (WS 2007/2008). 4. Course Directed Model Checking (SS 2007). 5. Course Search Algorithms (WS 2006/07). 6. Seminar External Exploration (SS 2006). 7. Supervisor Project Group Bug-Finder (WS 2005/06 SS 2006). 8. Course Künstliche Intelligenz (WS 2005/06). 9. Course Gerichtete Modellprüfung (SS 2005). 10. Project Group Mod-Plan (WS 2004/05 SS 2005). 11. Course Artificial Intelligence (WS 2004/05). 12. Project Group GPS-Route (SS 2004 WS 2004/05). 13. Course Action Planning (SS 2004). 14. Course Heuristic Search (WS 2003/04). TEACHING ASSISTANT AT UNIVERSITÄT FREIBURG 1. Course Computational Biology (SS 2002). 2. Course Parallel Algorithms and Applications (SS 2002). 3. Course Applied Computer Science (WS 2001/02). 4. Course Theoretical Computer Science (WS 2000/01). 5. Course Programming (WS 2000/01). 6. Course Data Structures and Algorithms (SS 2000). 7. Course Algorithm Theory (WS 1999/00). 8. Course Computational Geometry (SS 1999). 9. Course Data Structures and Algorithms (SS 1999). 10. Course Programming (WS 1998/99). 5

6 TEACHING AT BERUFSAKADEMIE LÖRRACH 1. Automata- and Complexity Theory (WS 2001/02). 2. Theoretical Computer Science (WS 1996/97), (WS 1997/98). PHDS 1. Christoph Greulich. Topic: Route Planning and Multi-Agent Simulation for Production Logistics. 2. Malte Humann. Topic: Learning Time Series for Improved Security Monitoring. 3. Andreas Sandkamp. Topic: Big Data Korellation and Learning for Improved Flour Processing. 4. Abdallah Saffadine (Reviewer). Dissertation: Solving Games and All That, University of Paris, 2013 [French Dissertation Award]. 5. Daniel Michulke (Reviewer). Dissertation: Evaluation Functions in General Game Playing, Universität Dresden, Carsten Elfers. Dissertation: Event Correlation Using Conditional Exponential Models with Tolerant Pattern Matching Applied to Incident Detection 7. Peter Kissmann. Dissertation: Symbolic Search in Planning and General Game Playing, Universität Bremen, 2012 [Summa Cum Laude]. 8. Damian Sulewski. Disseration: Large-Scale Parallel State Space Search Utilizing Graphics Processing Units and Solid State Disks, Universität Bremen, Pavel Simecek (Reviewer). Dissertation: External Memory LTL Model Checking, University of Brno, Shahid Jabbar. Disseration: External Memory Algorithms for State Space Exploration in Model Checking and Planning. 2008, Universität Dortmund [Summa Cum Laude, ICAPS-Dissertation Award]. 11. Anton Wijs (Reviewer). Disseration: What to Do Next? Analyzing and Optimizing System Behavior in Time. 2007, Centrum voor Wiskunde en Informatica (CWI) Amsterdam, Netherlands. 12. Kairong Qian (Reviewer). Dissertation: Formal Verification using Heuristic Search and Abstraction Techniques. 2006, University of Southern Wales, Australia. 13. Tilman Mehler. Dissertation: Challenges and Applications of Assembly-Level Software Model Checking 2005, Universität Dortmund. 14. Alberto Lluch-Lafuente. Disseration: Directed Search for the Verification of Communication Protocols 2003, Universität Freiburg. MASTER STUDENTS 1. Zhihao Tang. Monte-Carlo Search for Multiple Sequence Alignments, Paul Wichern. Solving Packing Problems in Additive Manufacturing, Aleksej Michalik. Applications of Neuronal Nets to Dectect Malware, Jan-Michel Smidt. Detecting Copyright Violations in Object Code, Tobias Lauer. Analysis of the GDL-II Player Nexusbaum, Christoph Greulich. Agent-based Intermodal Navigation in Dynamic Environments, Martha Rothe. Symbolic and Explicit Search Hybrid Through Perfect Hash Functions, Dominik Elsbroek. Monitoring Network Traffic With IPFIX to Detect Well-Known IPv6 Attacks, Marten Wirsik. Statistical Pattern Matching and Machine Learning for Analyzing Computer Networks, Paul Nemkovic. Multi-Core Priority Queues, Michael Mester. Design and Implementation of a Distributed Web-Client for Application in the Area of Ubiquitious Computing, Tim Federholzner. Randomization and Partial Observability in General Game Playing, David Zastrau. Accelerated Machine Learning Algorithms on the GPU,

7 14. Lasse Sievers. Extracting Heuristics in General Game Playing, Ali Shabani. Improved Inference of Street Maps on Basis of Open-Street-Map Raw Data, Cengizhan Yücel. Solving One- and Two-Player Games on the Graphics Card with Perfect Hash Functions, Mark Kellershoff. Abstraction & Planning for Program Model Checking, Damian Sulewski. Parallel Software Model Checking in StEAM, Björn Borowsky. Optimal Metric Planning with Presburger Automata, Kenneth Kahl. Machine Learning Algorithms for the Strategic Game Hex, Peter Kissmann. External Multiple Sequence Alignment, Maxim Zaks. Efficient Algorithms for the Analysis of Graph Transformation Systems, Björn Scholz. Automatic Inference of Road Maps based on GPS Traces, Mohammed Nazih. Efficient Action Planning in PDDL3, Shahid Jabbar. GPS-based Navigation in Static & Dynamic Environments, Tilman Mehler. Directed Java Program Verification, Danyal Kurban. New Methods for Computing Shortest Paths, Thorsten Kreuzer. Pattern Databases for Solving Chess Endgames, Malte Helmert. Implementing a Planner for the Symbolic Exploration with Binary Decision Diagrams,