Ingo Felscher
Kontakt
| Anschrift | RWTH Aachen, Lehrstuhl für Informatik 7, 52056 Aachen |
|---|---|
| Büro | Raum 4230, Ahornstr. 55, 52074 Aachen |
| Telefon | +49 (241) 80 21716 |
| Telefax | +49 (241) 80 22215 |
| 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
- Sommersemester 2009
-
Übungen zu Automaten, Sprachen und Komplexität
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


