Teaching

Sommer 2017

IN2107
Master-Seminar: Formal Proof in Mathematics and Computer Science
IN2347
Functional Data Structures
IN2106
Master-Praktikum: Spezifikation und Verifikation

Winter 2016/17

IN2055
Semantics of Programming Languages
IN2053
Program Optimization
IN2148
Perlen der Informatik 3
IN2148
Seminar: Perlen der Informatik

Sommer 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

Sommer 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

IN0003
Einführung in die Informatik 2
IN2055
Semantics of Programming Languages

Sommer 2013

IN2048
Equational Logic
IN3350
Interactive Software Verification

Winter 2012/13

IN0003
Einführung in die Informatik 2
IN2055
Semantics of Programming Languages

Sommer 2012

IN2048
Equational Logic
IN2149
Perlen der Informatik 2

Winter 2011/12

IN2055
Semantik
IN2148
Perlen der Informatik

Sommer 2011

IN0011
Einführung in die Theoretische Informatik
IN2149
Perlen der Informatik 2

Winter 2010/2011

IN2148
Perlen der Informatik
IN2055
Semantik

Sommer 2010

IN0011
Einführung in die Theoretische Informatik

Sommer 2009

IN0011
Einführung in die Theoretische Informatik
IN2149
Perlen der Informatik 2

Winter 2008/2009

IN2049
Logik
IN2148
Perlen

Sommer 2008

Winter 2007/2008

Sommer 2007

Winter 2006/2007

Sommer 2006

Winter 2005/2006

Sommer 2005

Winter 2004/2005

Sommer 2004

Winter 2003/04

Sommer 2003

Winter 2002/2003

Sommer 2002

Winter 2001/2002

Sommer 2001

Sommer 2000

Winter 1999/2000

Sommer 1999

Winter 1998/99

Sommer 1998

Winter 1997/98

Sommer 1997

Winter 1996/97

Sommer 1996

Winter 1995/96

Sommer 1995

Winter 1994/95