Betreute Arbeiten

Themengebiete für Bachelor- und Masterarbeiten

(gern auch Anwendungen und Kombinationen aus mehreren dieser Gebiete)

Modellierung und Wissensrepräsentation

• Nichtklassische Logiken
  • mehrwertige Logiken (z.B. Fuzzy logic)
  • Modal- und Temporallogiken
• Multi-Agenten-Systeme, z.B. in
  • Softwareentwicklung
  • Robotik
• Automaten auf endlichen und unendlichen Wörtern, Bildern und Graphen

Robotik

• Roboter für Service und Pflege
• Lego Mindstorms
• Bioloid (Beispiel einer sehr schönen Diplomarbeit dazu)
• Simulation (z.B. Webots, http://www.bioloid.info/tiki/Robotstadium )

Deklarative Programmierung

• funktionale Programmierung
• logische Programmierung
• Constraint-Programmierung
• funktional-logische Programmierung
• logische Programmierung mit Constraints

Verifikations- und Spezifikationsmethoden

Model Checking

Künstliche neuronale Netze

z.B. zur Roboter-Steuerung

Schülerwerbung

Konzeption und Vorbereitung von Schülerprojekten und -wettbewerben zu oben genannten Themen