Logic and
Theory of
Discrete Systems

Informatik 7

Patrick Landwehr



Address RWTH Aachen, Lehrstuhl für Informatik 7, 52056 Aachen
Office Room 4117b, Ahornstr. 55, 52074 Aachen
Phone +49 (241) 80 21708
Fax +49 (241) 80 22215
E-Mail landwehr(at)informatik.rwth-aachen.de
Office hours by arrangement


Research interests

Logic, Automata theory



Summer Term 2016

Exercise class for the lecture "Formale Systeme Automaten und Prozesse"

Seminar "Aktuelle Themen der Theoretischen Informatik"

Seminar "Theorie Effizienter Hash-Techniken"

Winters Term 2016/2017

Exercise class for the lecture Graph Decompositions and Algorithmic Applications

Seminar "Komplexitätstheorie"

FaLang translation system by Faboba