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)