Logic and
Theory of
Discrete Systems

Informatik 7

Sarah Winter

Contact

Postal Address RWTH Aachen, Lehrstuhl für Informatik 7, 52056 Aachen
Office Room 4108a, Ahornstr. 55, 52074 Aachen
Phone +49 (241) 80 21716
Fax +49 (241) 80 22215
Email winter(at)automata.rwth-aachen.de
Office Hour By appointment

I am a member of Wolfgang Thomas' research group for "Logic and Theory of Discrete Systems" at RWTH Aachen University.

Publications

Teaching

Summer semester 2017

Winter semester 2016/2017

Summer semester 2016

Winter semester 2015/2016

Summer semester 2015
Winter semester 2014/2015
Summer semester 2014