Ingo Felscher

Kontakt

Anschrift RWTH Aachen, Lehrstuhl für Informatik 7, 52056 Aachen
Büro Raum 4108, Ahornstr. 55, 52074 Aachen
Telefon +49 (241) 80 21716
Telefax +49 (241) 80 22215
Email felscher(at)automata.rwth-aachen.de
Sprechstunde Nach Vereinbarung

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.

Lehre

Wintersemester 2011/12
Übungen zu Regular and Context-Free Languages: Advanced Results
Softwarepraktikum Webprogrammierung und das Satzsystem LaTeX
Sommersemester 2011
Softwarepraktikum Informatik-Praktikum für Mathematiker
Wintersemester 2010/11
Übungen zu Baumautomaten
Softwarepraktikum Webprogrammierung und das Satzsystem LaTeX
Sommersemester 2010
Softwarepraktikum Informatik-Praktikum für Mathematiker
Wintersemester 2009/10
Softwarepraktikum Webprogrammierung und das Satzsystem LaTeX
Sommersemester 2009
Übungen zu Automaten, Sprachen und Komplexität
Softwarepraktikum Informatik-Praktikum für Mathematiker
Wintersemester 2008/09
Übungen zu Rekursionstheorie
Softwarepraktikum Webprogrammierung und das Satzsystem LaTeX
Sommersemester 2008
Softwarepraktikum Webprogrammierung und das Satzsystem LaTeX
Seminar über Automatentheorie

Publikationen