Winter 2017/2018

Functional Programming

Winter 2014/2015

Introduction to Theoretical Computer Science
Logic

Summer 2014

Discrete Mathematics
Practice of Decision Procedures

Winter 2013/2014

Functional Programming

Summer 2013

Discrete Mathematics

Winter 2012/2013

Functional Programming - VO2
Master Seminar 1 - SE2

Summer 2012

Discrete Mathematics - VO3
Experiments in Verification - VO1

Winter 2011/2012

Logic - PS2
Functional Programming - VO2

Summer 2011

Discrete Mathematics - PS2
Formal Language and Automata Theory - PS2

Winter 2010/2011

Logic - PS2

Summer 2010

Formal Language and Automata Theory - PS2

Winter 2008/2009

Term Rewriting - VO3

Winter 2007/2008

Term Rewriting - VO3 (Exercise Part)
Functional Programming - PS1

Summer 2006

Logic in Computer Science - UE2
Algorithmische Mathematik 4 (graph theory) - UE2

Winter 2005/2006

Term Rewriting - UE1

Summer 2005

Logic in Computer Science - UE2