| Einführung in die Logik | CS1002 | Lecture | Tantau | Moodle | 
  
  | Codierung und Sicherheit | CS3050 | Lecture | Berndt | Moodle | 
  
  
  | Parallelverarbeitung | CS3051 | Lecture | Tantau | Moodle | 
  
  
  | Einführung in Datenbanken und Systembiologie | CS1020 | Lecture | Tantau | Moodle | 
  
  
  
  
  | Programming Challenges | CS3701 | Projekt | Liskiewicz | Moodle | 
  
  
    | Algorithmik, Logik und Komplexität | CS4501 | Lecture | Berndt/Liskiewicz | Moodle | 
	
	
	| Algorithmisches Lernen und kausale Inferenz | CS5020 | Lecture | Liskiewicz | Moodle | 
	
  
   
    | Kryptografische Protokolle | CS4210 | Lecture | Liskiewicz | Moodle | 
	
	
	| Aktuelle Themen IT-Sicherheit und Zuverlässigkeit | CS5195 | Lecture | Berndt | Moodle | 
	
	| Advanced Cryptology | CS4703 | Lecture | Berndt | Moodle | 
  
  
  
    | Oberseminar Theoretische Informatik | CSXXX | Seminar | Tantau | Moodle |