[TZI]  [Faculty 3, Mathematics/Computer Science]  [University of Bremen] 


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).

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).

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. Christoph Greulich (Supervisor). Topic: Multi-Agent Planning for Production Logistics. Ongoing.
  2. Malte Humann (Supervisor). Topic: Monte Carlo Tree Search for the Multiple Container Loading Problem with Realistic Constraints. Ongoing.
  3. Andreas Sandkamp (Supervisor). Topic: Big Data Corelation and Learning for Improved Flour Processing. Ongoing.
  4. Carsten Elfers (Supervisor). Dissertation: Event Correlation Using Conditional Exponential Models with Tolerant Pattern Matching Applied to Incident Detection, 2014.
  5. Abdallah Saffadine (Reviewer, Supervisor Tristan Cazenave). Dissertation: Solving Games and All That, University of Paris, 2013. [French Dissertation Award]
  6. Daniel Michulke (Reviewer, Supervisor Michael Thielscher). Dissertation: Evaluation Functions in General Game Playing, University of Dresden, 2012.
  7. Peter Kissmann (Supervisor, Reviewer: Malte Helmert). Dissertation: Symbolic Search in Planning and General Game Playing, University of Bremen. [Summa Cum Laude]
  8. 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
  9. Pavel Simecek (Reviewer, Supervisor: Lubos Brim). Dissertation: External Memory LTL Model Checking, University of Brno, 2009.
  10. 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]
  11. 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.
  12. Kairong Qian (Reviewer, Supervisor: Andreas Nymeyer). Dissertation: Formal Verification using Heuristic Search and Abstraction Techniques. 2006, University of Southern Wales, Australia.
  13. Tilman Mehler (Supervisor, Reviewer: Katharina Morik). Dissertation: Challenges and Applications of Assembly-Level Software Model Checking. Dortmund University of Technology, 2004.
  14. 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. Denis Golubev. Physical Vehicle Routing Problem (Supervisor, Reviewer Rolf Drechsler), 2016.
  2. Tim Meywerk. New Strategies for Stratego-Bots (Reviewer, Supervisor: Rolf Drechsler), 2015.
  3. Fritz Jacob. Event-based Analyses of Multimedia Content with Machine Learning (Supervisor, Reviewer: Udo Frese), 2015
  4. Zhihao Tang. Monte-Carlo Search for Multiple Sequence Alignment. (Supervisor, Reviewer: Stefan Kurtz), 2015
  5. Paul Wichern. Solution of Packing Problems in Additive Manufacturing. (Supervisor, Reviewer: Gabriel Zachmann), 2014.
  6. 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.
  7. Martha Rohte. Symbolic and Explicit Search Hybrid Through Perfect Hash Functions. (Supervisior, Reviewer: Rolf Drechsler), 2013.
  8. Christoph Greulich. Agent-based Intermodal Navigation in Dynamic Environments. (Supervisor, Reviewer: Klaus-Dieter Thoben), 2013.
  9. Dominik Elsbroek. Monitoring Network Traffic With IPFIX to Detect Well-Known IPv6 Attacks. (Reviewer, Supervision: Carsten Bormann), 2012.
  10. Marten Wirsik. Statistical Pattern Matching and Machine Learning for Analyzing Computer Networks (Reviewer, Supervision: Carsten Bormann), 2012.
  11. Paul Nemkovic. Multi-Core Priority Queues (Supervisor, Reviewer: Sabine Kuske), 2012.
  12. Tim Federholzner. Randomization and Partial Observability in General Game Playing (Supervisor, Reviewer: Karsten Höscher), 2011.
  13. David Zastrau. Accelerated Machine Learning Algorithms on the GPU (Supervisor, Reviewer: Lutz Frommberger), 2011.
  14. Ali Shabani. Improved Inference of Street Maps on Basis of Open-Street-Map Raw Data (Supervisor, Reviewer: Gerrit Kalkbrenner), 2010.
  15. Cengizhan Yücel. Solving One- and Two-Player Games on the Graphics Card with Perfect Hash Functions (Supervisor, Reviewer: Jan Vahrenhold), 2010.
  16. Mark Kellershoff. Abstraction & Planning for Program Model Checking (addtitional Reviewer: Bernhard Steffen), 2008.
  17. Damian Sulewski. Parallel Software Model Checking in StEAM (Supervisor, Reviewer: Bernhard Steffen), 2007.
  18. Björn Borowsky. Optimal Metric Planning with Presburger Automata (Supervisor, Reviewer: Thomas Schwentick), 2007.
  19. Kenneth Kahl. Machine Learning Algorithms for the Strategic Game Hex (Supervisor, Reviewer: Lars Hildebrand), 2007.
  20. Peter Kissmann. External Multiple Sequence Alignment (Supervisor, Reviewer: Thomas Hofmeister), 2007.
  21. Maxim Zaks. Efficient Algorithms for the Analysis of Graph Transformation Systems (Reviewer, Supervisor: Barbara König), 2007.
  22. Björn Scholz. Automatic Inference of Road Maps based on GPS Traces (Supervisor, Reviewer: Petra Mutzel), 2006.
  23. Mohammed Nazih. Efficient Action Planning in PDDL3 (Supervisor, Reviewer: Katharina Morik), 2006.
  24. Shahid Jabbar. GPS-based Navigation in Static & Dynamic Environments (Supervisor, Reviewer: Thomas Ottmann), 2003.
  25. Tilman Mehler. Directed Java Program Verification (Supervisor, Reviewer: Stefan Leue), 2002.
  26. 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

There is a host of scientific literature on computer science in the German education system. E.g., you may consider the following dissertations There are also several articles to be found in the LOGIN magazine distributed by the GI society.

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.

He was awarded for good teaching in 1994 and 2007, and, to his honor, recently a learning center has been opened at the University of Frankfurt.

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

For many years, I have been an active member of the Student Union (Fachschaft) at Dortmund University. I have been a member on committes for habilitations, for improved teaching and studies (Lehre und Studium) and for finances (Haushalt und Struktur). Moreover, I have organized the 30,0 KIF event (Konferenz der Informatik Fachschaften) in 2002.
Stefan Edelkamp (edelkamp@tzi.de)
Teaching