Winter 25/26
Summer 25
Winter 24/25
- IN0012/IN2106
 - Practical Course ‘Specification and Verification’
 - IN2055
 - Semantics of Programming Languages
 
Summer 24
Winter 23/24
- IN2358
 - Lambda Calculus
 - IN0012/IN2106
 - Practical Course ‘Specification and Verification’
 - IN2055
 - Semantics of Programming Languages
 
Summer 23
Winter 22/23
- IN2358
 - Lambda Calculus
 - IN0012/IN2106
 - Practical Course ‘Specification and Verification’
 - IN2055
 - Semantics of Programming Languages
 
Summer 22
- IN2347
 - Functional Data Structures
 - IN2049
 - Logic
 - IN0012/IN2106
 - Practical Course ‘Specification and Verification’
 
Winter 21/22
- IN2358
 - Lambda Calculus
 - IN0014
 - Seminar ‘Formal Verification of Neural Networks’
 - IN0012/IN2106
 - Practical Course ‘Specification and Verification’
 - IN2055
 - Semantics of Programming Languages
 
Summer 21
- IN2347
 - Functional Data Structures
 - IN0014/IN2107
 - Seminar ‘Functional Pearls’
 - IN2049
 - Logic
 - IN0012/IN2106
 - Practical Course ‘Specification and Verification’
 
Winter 20/21
- IN0003
 - Functional Programming and Verification
 - IN0012/IN2106
 - Practical Course – Contributing to an Open-Source Project
 - IN0012/IN2106
 - Practical Course ‘Specification and Verification’
 - IN2055
 - Semantics of Programming Languages
 
Summer 2020
- IN0011
 - Einführung in die theoretische Informatik
 - IN2347
 - Functional Data Structures
 - IN0014/IN2107
 - Seminar: Automated Reasoning
 - IN0012/IN2106
 - Praktikum: Spezifikation und Verifikation
 
Winter 2019/20
- IN0012/IN2106
 - Praktikum: Spezifikation und Verifikation
 - IN0003
 - Functional Programming and Verification
 - IN2055
 - Semantics of Programming Languages
 
Summer 2019
- IN2347
 - Functional Data Structures
 - IN0011
 - Einführung in die theoretische Informatik
 - IN2107
 - Master-Seminar: AI Planning
 - IN0012/IN2106
 - Praktikum: Spezifikation und Verifikation
 
Winter 2018/19
- IN0012/IN2106
 - Praktikum: Spezifikation und Verifikation
 - IN2107
 - Master-Seminar: AI Planning
 - IN2055
 - Semantics of Programming Languages
 
Summer 2018
- IN2049
 - Logic
 - IN2347
 - Functional Data Structures
 - IN2107
 - Master-Seminar: Formal Proof in Mathematics and Computer Science
 - IN2107
 - Master-Seminar: AI Planning
 - IN0012/IN2106
 - Praktikum: Spezifikation und Verifikation
 
Winter 2017/18
- IN2106
 - Master-Praktikum: Spezifikation und Verifikation
 - IN0014/IN2107
 - Seminar: Functional Data Structures and Algorithms
 - IN2049
 - Lambda Calculus
 - IN2055
 - Semantics of Programming Languages
 
Summer 2017
- IN2049
 - Logik
 - IN2106
 - Master-Praktikum: Spezifikation und Verifikation
 - IN2107
 - Master-Seminar: Formal Proof in Mathematics and Computer Science
 - IN2347
 - Functional Data Structures
 
Winter 2016/17
- IN2055
 - Semantics of Programming Languages
 - IN2053
 - Program Optimization
 - IN2148
 - Perlen der Informatik 3
 - IN2148
 - Seminar: Perlen der Informatik
 
Summer 2016
- IN0013
 - Proseminar - Perlen der Informatik
 - IN2049
 - Logik
 - IN2106
 - Master-Praktikum: Spezifikation und Verifikation
 - IN2107
 - Master-Seminar: Entscheidungsprozeduren
 
Winter 2015/16
- IN2055
 - Semantics of Programming Languages
 - IN2106
 - Master-Praktikum: Spezifikation und Verifikation
 - IN2148
 - Perlen der Informatik
 
Summer 2015
- IN2048
 - Equational Logic
 - IN2042
 - Automata and Formal Languages II: Tree Automata
 - IN0014/IN2107
 - Fortgeschrittene Konzepte der funktionalen Programmierung
 
Winter 2014/15
- IN0003
 - Einführung in die Informatik 2
 - IN2055
 - Program Optimization
 - IN2055
 - Semantics of Programming Languages
 - IN2176
 - Perlen der Informatik 3
 
Winter 2013/14
Summer 2013
Winter 2012/13
Summer 2012
Winter 2011/12
Summer 2011
Winter 2010/2011
Summer 2010
Summer 2009
Winter 2008/2009
Summer 2008
- Einführung in die Theoretische Informatik
 - Perlen der Informatik 2
 - Semantik von Programmiersprachen (Dr. Christian Urban)
 
Winter 2007/2008
Summer 2007
Winter 2006/2007
- Logik (Gleichungslogik)
 - Perlen der Informatik
 - Types for Programming Languages (Christian Urban)
 - Proseminar: Programmiersprachen
 
Summer 2006
- Semantik von Programmiersprachen
 - Perlen der Informatik 4 (Prof. Tobias Nipkow, Prof. Helmut Veith)
 - Praktikum: Spezifikation und Verifikation
 
Winter 2005/2006
- Logikprogrammierung: Einführung in Prolog (Dr. Clemens Ballarin)
 
Summer 2005
- Semantik von Programmiersprachen
 - Perlen der Informatik 2
 - Proseminar: Mathematische und logische Perlen der Informatik (Prof. Tobias Nipkow, Amine Chaieb)
 - Praktikum: Spezifikation und Verifikation
 
Winter 2004/2005
- Logik (Gleichungslogik)
 - Perlen der Informatik
 - Proseminar: Mathematische und logische Perlen der Informatik
 
Summer 2004
Winter 2003/04
Summer 2003
Winter 2002/2003
Summer 2002
- Grundlagen der Programm- und Systementwicklung
 - Übungen zur Logik (Clemens Ballarin)
 - Hauptseminar: Entwicklung sicherer Systeme (Prof. Manfred Broy, Prof. Tobias Nipkow)
 - Praktikum: Spezifikation und Verifikation
 
Winter 2001/2002
- Semantik
 - Hauptseminar: Nachweis von Sicherheisteigenschaften für JavaCard durch approximative Programmauswertung (Prof. Tobias Nipkow, Martin Strecker)
 - Praktikum: Funktionales Programmieren und Compilierbau
 
Summer 2001
- Logik
 - Proseminar: Mathematische Modellierung (Prof. Tobias Nipkow, Leonora Prensa Nieto)
 - Praktikum: Spezifikation und Verifikation
 
Summer 2000
- Logik (Gleichungslogik)
 - Parallele und Verteilte Programmierung (Prof. Raman Ramanujam)
 - Temporale Logik: Model Checking (Prof. Raman Ramanujam)
 - Praktikum: Spezifikation und Verifikation
 - Programmierpraktikum: Funktionale und logische Programmierung
 
Winter 1999/2000
Summer 1999
- Grundlagen der Programm-und Systementwicklung II
 - Proseminar: Exotische Programmiersprachen
 - Praktikum: Spezifikation und Verifikation
 
Winter 1998/99
Summer 1998
- Lambda-Kalkül
 - Seminar: Wichtig, nützlich und entscheidbar - Entscheidbare Probleme in der Informatik
 - Praktikum: Spezifikation und Verifikation
 
Winter 1997/98
Summer 1997
- Logik
 - Hauptseminar: Innovative Konzepte moderner Programmiersprachen
 - Praktikum: Spezifikation und Verifikation
 
Winter 1996/97
Summer 1996
Winter 1995/96
Summer 1995
Winter 1994/95
- Hauptseminar: Funktionales Programmieren
 - Hauptseminar: Spezifikation und Modellierung verteilter reaktiver Systeme (Prof. Manfred Broy, Prof. Tobias Nipkow)