Logic and
Theory of
Discrete Systems

Informatik 7

Patrick Landwehr

 

 Contact

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

 

Teaching

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