We are committed to excellence in teaching. Our courses are evaluated using the system EvaSys. The evaluations can be obtained below by clicking on the respective courses. Here we list the evaluations of Prof. Dix per semester (containing all courses in the respective semester):

• SS 2012
• WS 2011/12
• SS 2011
• WS 2010/11
• SS 2010, ELAN
• WS 2009/10
• SS 2009 (ELAN)
• WS 2008/09

• Proseminar/Seminar
• Artificial Intelligence (BSc)

• Verification of Concurrent Systems (Verifikation von Parallelen Systemen) (MSc)
• Informatik III (BSc)
• Werkzeuge der Informatik

• Multiagent Systems I (BSc)
• Multiagent Systems II (MSc)
• Artificial Intelligence (BSc)
• Hauptseminar/Proseminar

• Informatik III (BSc)
• Introduction to the Modelling and Analysis of Security Protocols (MSc)
• Seminar
• Werkzeuge der Informatik

• Complexity Theory (MSc)
• Artificial Intelligence (BSc)
• Multiagent Systems I (BSc)

• Hauptseminar/Proseminar
• Modallogiken (M.Sc.)
• Informatik III (BSc)

• Multiagent Systems I (BSc)
  • Einleitung
  • Downloads
• Multiagent Systems II (MSc)
  • Einleitung
  • Downloads
• Artificial Intelligence (BSc)
  • Einleitung
  • Downloads

• Informatik III (BSc)
• Multiagent Systems I (BSc)
  • Einleitung
  • Downloads
• Hauptseminar/Proseminar
• Seminar Artificial Intelligence in Biology and Medicine
• Vorlesung Softcomputing
• Vorlesung Modern Data Analysis
• Werkzeuge der Informatik (BSc)

• Einführung in die Künstliche Intelligenz
  • Downloads
• Multi-Agent System: Modeling, Reasoning, and Verification (Projectgroup)
• Zeitreihenanalyse und -prognose
• Neural Computation
• Bioinformatics/Scheduling/Machine Learning

• Multi-Agent System: Modeling, Reasoning, and Verification
• Multiagent Systems I (BSc)
  • Einleitung
  • Downloads
• Hauptseminar/Proseminar
• Modallogiken: Grundlagen und Erweiterungen
  • Downloads
• Modellbildung und Simulation
• Informatik III
• Seminar Computational Intelligence in Biology and Medicine
• Multi-Agent Systems in Real-Time Applications
  • Example 1: A single unit controlled by an agent
  • Example 2: Several units controlled by agents
  • Example 3: A harvester exploring the world and gathering resources

• Data and Web Mining
• Seminar Robotics
• Einführung in die Künstliche Intelligenz

Teaching of the past

Winter 2007/2008

• Complexity Theory (Dix)
• Hauptseminar (Dix)
• Werkzeuge der Informatik (Dix, Hammer)
• Modellbildung und Simulation (Reuter)

Summer 2007

• Pro/Hauptseminar (Dix)
• Artificial Intelligence (Dix)
• Algorithms in Bioinformatics (Hammer)
• Neural Computation (Hammer)
• Seminar Bioinformatics and Machine Learning (Hammer)

Winter 2006/2007

• Multi-Agent Systems (Dix)
• Programmierpraktikum (Dix)
• Informatics III (Hammer)
• Softcomputing (Hammer)
• Proseminar Data Mining (Hammer)
• Seminar Self-Organizing Maps (Hammer)

Summer 2006

• Neural Computation (Hammer)
• Seminar Modern Heuristics (Hammer)
• Pro/Hauptseminar AI (Dix)
• Artificial Intelligence (Dix)

Winter 2005/2006

• Informatik III (Dix)
• Multiagent Systems (Dix)
• Hauptseminar/Praktikum Hybride Systeme (Hammer)
• Seminar Maschinelles Lernen (Hammer)
• Algorithmische Bioinformatik (Hammer)

Summer 2005

• Theoretical Computer Science II (Dix)
• Informatics II (Hammer)
• Artificial Intelligence (Dix)
• Planning Seminar (Dix)
• Selforganization Seminar (Hammer)

Winter 2004/2005

• Softcomputing (Hammer)
• Neural Networks (Reuter)
• Artificial Intelligence (Dix)
• Informatics I (Hammer)
• Praktikum in Programming (Dix)
• Multi-Agent Systems (Dix)
• Theoretical Computer Science I (Dix)

Summer 2004

• Artificial Intelligence (Dix)
• Theoretical Computer Science II (Dix)