Bachelor Informatik

• Algorithmen und Datenstrukturen
  
  
• Public Key Kryptographie
  
  
• Logische Strukturen
  
  
• Effiziente Algorithmen

Bachlor Ingenieurinformatik

• Formale Sprachen und Komplexität

Master Informatik

• Ausgewählte Kapitel der Komplexitätstheorie/Algorithmik
  
  
• Logik in der Informatik

Sonstige Veranstaltungen

• Hauptseminar "Algorithmen und Komplexität"

• Spezielle Themen der Komplexitätstheorie: Zertifizierung von FP/FLINSPACE/FPSPACE für imperative Programme (Kompaktvorlesung - PD Dr. Niggl)