Department of Informatics, King's College London, UK.

1. Lecturer for the course Elementary Logic with Applications (WS 2017/18).
2. Lecturer for the course Software Engineering of Internet Applications (SS 2018).
3. Lecturer for the course Introduction to Artificial Intelligence (SS 2019).
4. Lecturer for the course Software Engineering of Internet Applications (SS 2019).

Computer Science Department, University of Applied Science, Darmstadt, Germany.

1. Lecturer the course Complexity Theory (SS 2017).
2. Lecturer the course Theory of Computing (SS 2017).
3. Lecturer the course Machine Learning (WS 2016/17).
4. Lecturer the course Complexity Theory (WS 2016/17).
5. Lecturer of the course IT Security (WS 2016/17).
6. Lecturer the course Complexity Theory (WS 2015/16).
7. Assistant of the course IT Security (WS 2015/16).
8. Lecturer the course Complexity Theory (SS 2016).
9. Assistant/Lecturer of the course IT Security (SS 2016).
10. Lecturer the course IT Security (WS 2016/17).

Computer Science Department, University of Freiburg, Germany.

1. Teaching Assistant of the course Computational Biology (SS 2002).
2. Teaching Assistant of the course Parallel Algorithms and Applications (SS 2002).
3. Teaching Assistant of the course Applied Computer Science (WS 2001/02).
4. Teaching Assistant of the course Theory of Computation (WS 2000/01).
5. Teaching Assistant of the course Data Structures and Algorithms (SS 2000).
6. Teaching Assistant of the course Algorithm Theory (WS 1999/2000).
7. Teaching Assistant of the course Computational Geometry (SS 1999).
8. Teaching Assistant of the course Data Structures and Algorithms (SS 1999).
9. Teaching Assistant of the course Programming (WS 2000/01).
10. Teaching Assistant of the course Programming (WS 1998/99).

Lecture Notes for Courses in Algorithms and Data Structures

Multi-Media Extensions to the Text Book of Ottmann/Widmayer

Besides setting up the web interface, I was responsible for most slides and additional exercises.

Computer Science Department, University of Dortmund, Germany.

1. Lecturer of the course Game Playing (SS 2008).
2. Lecturer of the course Action Planning (WS 2007/2008).
3. Lecturer of the course Directed Model Checking (SS 2007).
4. Lecturer of the course Advanced Search Algorithms (WS 2006/07).
5. Supervisor of the seminar External Exploration (SS 2006).
6. Lecturer of the course Artificial Intelligence (WS 2005/06).
7. Lecturer of the course Directed Model Checking (SS 2007).
8. Lecturer of the course Artificial Intelligence (WS 2004/05).
9. Lecturer of the course Action Planning (SS 2004).
10. Lecturer of the course Heuristic Search (WS 2003/04).

1. Supervisor of the project Bug-Finder (WS 2005/06, SS 2006).
2. Supervisor of the project Mod-Plan (WS 2004/05, SS 2005).
3. Supervisor of the project GPS-Route (SS 2004, WS 2004/05).

Computer Science Department, University of Bremen, Germany.

1. Lecturer the course Algorithm Theory (SS 2017).
2. Lecturer of the course Machine Learning (WS 2016/17).
3. Lecturer of the course Machine Learning (SS 2015).
4. Lecturer of the course Logistik-IT (Logistics + Multiagent-Systems) (WS 2013/14).
5. Lecturer of the course Praktische Informatik 1 (Computer Science 1, Programming) (WS 2013/14).
6. Lecturer of the course Algorithmic Intelligence (SS 2013).
7. Assistant of the course Praktische Informatik I (Programming) (WS 2012/13).
8. Lecturer of the course Algorithm Theory (SS 2011).
9. Lecturer of the course Planning and General Games (WS 2010/11).
10. Lecturer of the course Algorithm Engineering (SS 2010).
11. Supervisor of the seminar Games (SS 2010).
12. Lecturer of the course Algorithm Engineering (SS 2009).
13. Supervisor of the seminar Games (SS 2009).

1. Supervisor of the project Fidius (WS 2009/10 - SS 2011).
2. Supervisor of the project GGP++ (WS 2011/12 - SS 2012).

University of Cooperative Education, University of Cooperative Education Lörrach, Germany.

1. Lecturer for the course Automata and Complexity Theory (WS 2001/02).
2. Lecturer for the course Theoretical Computer Science (WS 1997/98).
3. Lecturer for the course Theoretical Computer Science (WS 1996/97).

Invited Lectures.

1. Invited Talk on Heuristic and Blind Search at SOCS (2012).
2. Tutorial on Petri Nets at ICAPS (2009).
3. Lecture at Estonian Summer Schools in Computer and Systems Science (2009).
4. Tutorial on External-Memory Graph Search at ICAPS (2008).
5. Tutorial on External-Memory Graph Search at AAAI (2008).
6. Tutorial on Directed Model Checking at SPIN (2006).
7. Tutorial on Directed Model Checking at ICAPS (2005).

Lecture Notes for Courses in Artificial Intelligence

Text Book on Search (800+ Pages)

Chapters:

1. Introduction
2. Basic Search Algorithms
3. Dictionary Data Structures
4. Automatically Created Heuristics
5. Linear-Space Search
6. Memory Restricted Search
7. Symbolic Search
8. External Search
9. Distributed Search
10. Real-Time Search
11. State Space Pruning
12. Adversary Search
13. Constraint Search
14. Selective Search
15. Action Planning
16. Automated System Verification
17. Vehicle Navigation
18. Computational Biology
19. Robotics

PhD Students

1. Ionut Moraru (Supervisor). Topic: Pattern Database Planning. Ongoing.
2. Yassin Warsame (Supervisor). Topic: Task-Motion Planning. Ongoing.
3. Itoro Liney (Supervisor). Topic: Intrusion Detection with Strings. Ongoing.
4. Junho Lee (Supervisor). Multi-Robot Multi-Goal Motion Planning with Time and Resources. Ongoing.
5. Christoph Greulich (Supervisor). Topic: Multi-Agent Planning for Production Logistics. Ongoing.
6. Malte Humann (Supervisor). Topic: Monte Carlo Tree Search for the Multiple Container Loading Problem with Realistic Constraints. Paused.
7. Andreas Sandkamp (Supervisor). Topic: Big Data Corelation and Learning for Improved Flour Processing. Ongoing.
8. Carsten Elfers (Supervisor). Dissertation: Event Correlation Using Conditional Exponential Models with Tolerant Pattern Matching Applied to Incident Detection, 2014.
9. Abdallah Saffadine (Reviewer, Supervisor Tristan Cazenave). Dissertation: Solving Games and All That, University of Paris, 2013. [French Dissertation Award]
10. Daniel Michulke (Reviewer, Supervisor Michael Thielscher). Dissertation: Evaluation Functions in General Game Playing, University of Dresden, 2012.
11. Peter Kissmann (Supervisor, Reviewer: Malte Helmert). Dissertation: Symbolic Search in Planning and General Game Playing, University of Bremen. [Summa Cum Laude]
12. Damian Sulewski (Supervisor, Reviewer: Bernhard Steffen). Disseration: Large-Scale Parallel State Space Search Utilizing Graphics Processing Units and Solid State Disks, University of Bremen, 2011
13. Pavel Simecek (Reviewer, Supervisor: Lubos Brim). Dissertation: External Memory LTL Model Checking, University of Brno, 2009.
14. Shahid Jabbar (Supervisor, Reviewer: Bernhard Steffen). Disseration: External Memory Algorithms for State Space Exploration in Model Checking and Planning. Apr. Dortmund University of Technology. [Summa Cum Laude]
15. Anton Wijs (Reviewer, Supervisor: Jaco v. d. Pol). Disseration: What to Do Next? Analyzing and Optimizing System Behavior in Time. 2007, Centrum voor Wiskunde en Informatica (CWI) Amsterdam, Netherlands.
16. Kairong Qian (Reviewer, Supervisor: Andreas Nymeyer). Dissertation: Formal Verification using Heuristic Search and Abstraction Techniques. 2006, University of Southern Wales, Australia.
17. Tilman Mehler (Supervisor, Reviewer: Katharina Morik). Dissertation: Challenges and Applications of Assembly-Level Software Model Checking. Dortmund University of Technology, 2004.
18. Alberto Lluch-Lafuente (Joint Supervisors: Thomas Ottmann, Stefan Leue). Disseration: Directed Search for the Verification of Communication Protocols. University of Freiburg, 2002.

Diploma/Master/Bachelor Students

1. Feng, Chi. Multi-Goal Motion Planning, 2019.
2. Hui, Menglu. Verification of Neural Nets, 2019.
3. Wang, Xin. Skat Engine, 2019.
4. Sun, Hao. Monte-Carlo Combinatorial Optimization, 2019.
5. Sun, Yujie. Monte-Carlo Planning, 2019.
6. Wang, Zijun. Monte-Carlo Model Checking, 2019.
7. Tao, Qiuyu. Task-Motion Planning, 2019.
8. Gu, Tianyu. Anomaly Detection for Component Health in Computer Networks, 2019.
9. Seo, Hyunduk. Building body structure in VR using IMU sensors, 2019.
10. Suh, Jeongho . New Sorting Algorithms in Theory and Practice, 2019.
11. Banys, Erikas. Deep Neural Network Monte-Carlo Tree Search Chess, 2019.
12. Gajowniczek, Maksymilian. Robot Inspection for Virtual Reality, 2019.
13. Lee, Junho. Physical Vehicle Routing with Resources, 2018.
14. Yu, Zhuowei. Watchman Routes for Robot Inspection, 2018.
15. Warsame, Yassin. General Game Playing for Robots, 2018.
16. Alexander Dornburg. Semantische Bilder fuer das Typo3 CMS (with Christoph Wentzel), 2017.
17. Andre Hoehne. Prozessoptimerung durch Predictive Analysis in einem IoT Szenario (with Christoph Wentzel), 2017.
18. Andre Hoehne. Prozessoptimerung durch Predictive Analysis in einem IoT Szenario (with Christoph Wentzel), 2017.
19. Daniel Siedka. Secure Boot im Embedded Umfeld (with Christoph Wentzel), 2017.
20. Hendrik Schneider. Entwicklung und Test einer Teilapplication zur Ueberpruefung des Fahrzeugsoftwarestandes fuer Entwicklungsfahrzeuge (with Christoph Wentzel), 2017.
21. Kevin Mecklenburg. Konzeption und Implementierung eines flexiblen Testdatengenerators fuer Report Showcases (with Christoph Wentzel), 2017.
22. Kritina Lindauer. Gamification (with Christoph Wentzel), 2017.
23. Lukas Hutfless. Performance Steigerung rechenintensiver Anwendung durch Parallelisierung und GPGPU am Beispiel von Partikelsystemen (with Christoph Wentzel), 2017.
24. Timo Schumacher. Auswahl von agilen Projektmanagement Werkzeugen und Integration in Sage CRM zur Optimierung des Softwareentwicklungsprozesses (with Christoph Wentzel), 2017.
25. Denis Golubev. Physical Vehicle Routing Problem (Supervisor, Reviewer Rolf Drechsler), 2016.
26. Tim Meywerk. New Strategies for Stratego-Bots (Reviewer, Supervisor: Rolf Drechsler), 2015.
27. Fritz Jacob. Event-based Analyses of Multimedia Content with Machine Learning (Supervisor, Reviewer: Udo Frese), 2015
28. Zhihao Tang. Monte-Carlo Search for Multiple Sequence Alignment. (Supervisor, Reviewer: Stefan Kurtz), 2015
29. Paul Wichern. Solution of Packing Problems in Additive Manufacturing. (Supervisor, Reviewer: Gabriel Zachmann), 2014.
30. Simon Frerichs. Choice, Evaluation and Implementation of an Suitable Algorithm on Netflow Data for Defending Distributed-Denial-of-Service-Attacks. (Reviewer, Supervisor Carsten Bormann), 2014.
31. Martha Rohte. Symbolic and Explicit Search Hybrid Through Perfect Hash Functions. (Supervisior, Reviewer: Rolf Drechsler), 2013.
32. Christoph Greulich. Agent-based Intermodal Navigation in Dynamic Environments. (Supervisor, Reviewer: Klaus-Dieter Thoben), 2013.
33. Dominik Elsbroek. Monitoring Network Traffic With IPFIX to Detect Well-Known IPv6 Attacks. (Reviewer, Supervision: Carsten Bormann), 2012.
34. Marten Wirsik. Statistical Pattern Matching and Machine Learning for Analyzing Computer Networks (Reviewer, Supervision: Carsten Bormann), 2012.
35. Paul Nemkovic. Multi-Core Priority Queues (Supervisor, Reviewer: Sabine Kuske), 2012.
36. Tim Federholzner. Randomization and Partial Observability in General Game Playing (Supervisor, Reviewer: Karsten Höscher), 2011.
37. David Zastrau. Accelerated Machine Learning Algorithms on the GPU (Supervisor, Reviewer: Lutz Frommberger), 2011.
38. Ali Shabani. Improved Inference of Street Maps on Basis of Open-Street-Map Raw Data (Supervisor, Reviewer: Gerrit Kalkbrenner), 2010.
39. Cengizhan Yücel. Solving One- and Two-Player Games on the Graphics Card with Perfect Hash Functions (Supervisor, Reviewer: Jan Vahrenhold), 2010.
40. Mark Kellershoff. Abstraction & Planning for Program Model Checking (addtitional Reviewer: Bernhard Steffen), 2008.
41. Damian Sulewski. Parallel Software Model Checking in StEAM (Supervisor, Reviewer: Bernhard Steffen), 2007.
42. Björn Borowsky. Optimal Metric Planning with Presburger Automata (Supervisor, Reviewer: Thomas Schwentick), 2007.
43. Kenneth Kahl. Machine Learning Algorithms for the Strategic Game Hex (Supervisor, Reviewer: Lars Hildebrand), 2007.
44. Peter Kissmann. External Multiple Sequence Alignment (Supervisor, Reviewer: Thomas Hofmeister), 2007.
45. Maxim Zaks. Efficient Algorithms for the Analysis of Graph Transformation Systems (Reviewer, Supervisor: Barbara König), 2007.
46. Björn Scholz. Automatic Inference of Road Maps based on GPS Traces (Supervisor, Reviewer: Petra Mutzel), 2006.
47. Mohammed Nazih. Efficient Action Planning in PDDL3 (Supervisor, Reviewer: Katharina Morik), 2006.
48. Shahid Jabbar. GPS-based Navigation in Static & Dynamic Environments (Supervisor, Reviewer: Thomas Ottmann), 2003.
49. Tilman Mehler. Directed Java Program Verification (Supervisor, Reviewer: Stefan Leue), 2002.
50. Danyal Kurban. New Methods for Computing Shortest Paths (Supervisor, Reviewer: Thomas Ottmann), 2002.

Further Student Studies

1. Dominik Elsbroek. Full Bitvector Sampling for Playing Cribbage (Supervisor), 2011.
2. Thorsten Kreuzer. Pattern Databases for Solving Chess Endgames (Supervisor), 2001.
3. Malte Helmert. Implementing a Planner for the Symbolic Exploration with Binary Decision Diagrams (Supervisor), 1999. [Malte Helmert has won the 2011 IJCAI Computer and Thought Award]

Didactics

• Eckard Modrow. Pragmatischer Konstruktivismus und fundamentale Ideen als Leitlinien der Curriculumentwicklung am Beispiel der theoretischen und technischen Informatik, Halle, 2003.
• Carsten Schulte. Lehr- Lernprozesse im Informatik-Anfangsunterricht. Theoriegeleitete Entwicklung und Evaluation eines Unterrichtskonzepts zur Objektorientierung in der Sekundarstufe II, Paderborn, 2003.

For university education especially in the area of theory of computer science, I recommend the following work of my former mentor and diploma thesis supervisor Ingo Wegener.

• Ingo Wegener: Didaktische Überlegungen zu einer algorithmenorientierten Einführung in die theoretische Informatik. Forschungsberichte des Fachbereichs Informatik der Universität Dortmund. Nr 434, 1992.
• Ingo Wegener: Ein Plädoyer für eine lebendige und anschauliche Fachsprache. Forschungsberichte des Fachbereichs Informatik der Universität Dortmund. Nr 530, 1994.

I also recommend the books and recorded lectures of my PhD supervisor Thomas Ottmann, who is an excellent computer science teacher (and was awarded Ehrendoktor in 2011).

Further Activities