Lectures

Sommersemester 2002 (mit Werner Stephan): Formale Software-Entwicklung, TU Darmstadt
Sommersemester 2003 (mit Georg Rock): Formale Softwareentwicklung, Universität Saarbrücken
Master Seminar 2018: Deep Learning for Industrial Applications, Universität Saarbrücken