Frank Radmacher
 | Kontakt |
|---|---|
| Büro | Raum 4114, Ahornstr. 55, 52074 Aachen |
| Postanschrift | RWTH Aachen, Lehrstuhl für Informatik 7, 52056 Aachen |
| Telefon | +49 (241) 80 21703 |
| Sprechstunde | nach Vereinbarung |
Ich bin ein Mitglied von Wolfgang Thomas' Forschungsgruppe "Logik und Theorie diskreter Systeme" an der RWTH Aachen.
Forschungsinteressen:
- formale Verifikation dynamischer Systeme
- Spieltheorie
- Model-Checking
- Automaten und formale Sprachen
Mitwirkung an Lehrveranstaltungen
- Wintersemester 2009/10
- Seminar über Automatentheorie
- Sommersemester 2009
- Seminar über Automatentheorie
- Wintersemester 2008/09
- Seminar über Automatentheorie
- Sommersemester 2008
- Seminar über Automatentheorie
- Wintersemester 2007/08
- Seminar über Baumautomaten