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



winter term 2017/2018

practical course Reguläre Ausdrücke implementieren in Java

seminar "Complexity Theory"

summer term 2017

exercise class for the lecture Advanced Automata Theory

seminar "Theoretical Topics in Data Science"

winter term 2016/2017

exercise class for the lecture  Graph Decompositions and Algorithmic Applications

seminar "Complexity Theory"

summer term 2016

exercise class for the lecture Formale Systeme Automaten und Prozesse

seminar "Current Topics of Theoretical Computer Science"

seminar "Theory of efficient Hashing-Techniques"