Humboldt-Universität zu Berlin, Institut für Informatik, Prof. Dr. Holger Schlingloff Teaching

• SS 2009: Lecture and Seminar: Embedded Systems - Productivity and Quality
• SS 2008: Lecture: Logical Specification of Hard- and Software
• WS 2007/2008: Introduction to Computer Science 1
• WS 2007/2008: Univ. Swansea, Advanced Topics in Computer Science: Testing
• SS 2007: Seminar: Automotive Software Engineering & Model-Based Design
• WS 2006/2007: Univ. Swansea: CS-339 Advanced Topics in Computer Science: Testing
• SS 2006: Seminar: Specification-based Software Testing
• WS 2005/2006: Software Engineering II: Embedded Systems
• WS 2004/2005: Software Quality Assurance
• SS 2004, ESSLLI: Temporal Logic for Systems Validation
  (Course at the 16. European Summer School on Logic, Language and Information, password protected)
• WS 2003/2004: Applied Computer Science for Beginners
• WS 2002/2003: Software Project Management
• WS 2001/2002: IT Security I
• WS 1998: Model Checking for Industrial Applications
• 1997 - 2001: BISS seminar

There are a number of open topics for doctoral and diploma candidates, mainly in the area of model checking, temporal logics, specification languages and tool development. Feel free to ask!