Lehrstuhl für Informatik 7
Logik und Theorie diskreter Systeme

Alex Spelten

Anschrift	RWTH Aachen, Lehrstuhl für Informatik 7, 52056 Aachen
Büro	Raum 4117b, Ahornstr. 55, 52074 Aachen
Telefon	+49 (241) 80 21710
Telefax	+49 (241) 80 22215
Email	`spelten(at)automata.rwth-aachen.de`
Sprechstunde	wenn die Tür auf ist

Ich bin ein Mitglied von Wolfgang Thomas' Forschungsgruppe "Logik und Theorie diskreter Systeme" an der RWTH Aachen.
Meine Forschungsinteressen beinhalten unter anderem Automaten, formale Sprachen und die Verifikation unendlicher Systeme.

Wintersemester 2008/09: Seminar über Automatentheorie
Übungen zu Automaten auf unendlichen Wörtern
Sommersemester 2008: Übungen zu Formale Systeme, Automaten, Prozesse
Wintersemester 2007/08: Übungen zu Automata and Reactive Systems
Sommersemester 2007: Seminar über Automatentheorie
Übungen zu Angewandte Automatentheorie
Wintersemester 2006/07: Übungen zu Automata and Reactive Systems

Haftungsausschluss • Letzte Änderung: 06.10.2008 • HTML