Ingo Felscher
Kontakt
Anschrift | RWTH Aachen, Lehrstuhl für Informatik 7, 52056 Aachen |
---|---|
Büro | Raum 4117a, Ahornstr. 55, 52074 Aachen |
Telefon | +49 (241) 80 21706 |
Telefax | +49 (241) 80 22215 |
felscher(at)automata.rwth-aachen.de | |
Sprechstunde | Nach Vereinbarung |
Ich war 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 2013/14
-
Seminar über Automatentheorie
- Wintersemester 2012/13
-
Bachelor-Seminar über Automatentheorie
- Sommersemester 2012
- Softwarepraktikum Informatik-Praktikum für Mathematiker (Reguläre Ausdrücke und Antlr)
- 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