Chair of Computer Science 7
Logic and Theory of Discrete Systems

Wladimir Fridman

Postal Address	RWTH Aachen, Lehrstuhl für Informatik 7, 52056 Aachen
Office	Raum 4106, Ahornstr. 55, 52074 Aachen
Phone	+49 (241) 80 21717
Fax	+49 (241) 80 22215
Email	`fridman(at)automata.rwth-aachen.de`
Office Hour	nach Vereinbarung

I am a member of Wolfgang Thomas' research group for "Logic and Theory of Discrete Systems" at the RWTH Aachen and scholarship holder of "B-IT Research School". My research interests include, amongst others, automata, formal languages, and verification of infinite systems.

Summer 2011: Seminar on Automata Theory
Winter 2011/12: Seminar on Automata Theory
Summer 2011: Exercises for Automaten, Sprachen, Komplexität
Seminar on Automata Theory
Winter 2010/11: Proseminar on Automata Theory
Summer 2010: Exercises for Infinite Games
Seminar on Automata Theory

Disclaimer • Last modification: 2012/04/23 • HTML