Ingo Felscher
Contact
Postal Address | RWTH Aachen, Lehrstuhl für Informatik 7, 52056 Aachen |
---|---|
Office | Room 4117a, Ahornstr. 55, 52074 Aachen |
Phone | +49 (241) 80 21706 |
Fax | +49 (241) 80 22215 |
felscher(at)automata.rwth-aachen.de | |
Office Hour | By appointment |
I was a member of Wolfgang Thomas' research
group for "Logic and Theory of Discrete
Systems" at the RWTH Aachen.
My research interests include, amongst others, automata, formal languages,
and verification of infinite systems.
Teaching
- Winter 2013/14
-
Seminar on Automata Theory
- Winter 2012/13
-
Bachelor seminar on Automata Theory
- Summer 2012
- Practical course Informatikpraktikum für Mathematiker (Regular Expressions and Antlr)
- Winter 2011/12
-
Exercises for Regular and Context-Free Languages: Advanced Results
Practical course Webprogrammierung und das Satzsystem LaTeX - Summer 2011
- Practical course Informatikpraktikum für Mathematiker
- Winter 2010/11
-
Exercises for Tree Automata
Practical course Webprogrammierung und das Satzsystem LaTeX - Summer 2010
- Practical course Informatikpraktikum für Mathematiker
- Winter 2009/10
-
Practical course Webprogrammierung und das Satzsystem LaTeX
- Summer 2009
-
Exercises for Automaten, Sprachen und Komplexität
Practical course Informatikpraktikum für Mathematiker - Winter 2008/09
-
Exercises for Rekursionstheorie
Practical course Webprogrammierung und das Satzsystem LaTeX - Summer 2008
-
Practical course Webprogrammierung und das Satzsystem LaTeX
Seminar on Automata Theory