Wolfgang Thomas
 |
Kontakt
|
Forschung
Mein Hauptinteresse gilt der Entwicklung der Automatentheorie als ein Rahmenwerk zur Modellierung, Analyse, Verifikation und Synthese von Systemen. Dazu gehören
- Generalisierte Modelle von Automaten (über Bäumen, Bildern, relationalen Strukturen)
- Automaten über unendlichen Wörtern und Bäumen
- Beziehung zwischen Automaten und logischen Systemen
- Algorithmische Theorie unendlicher Spiele
- Unendliche Automaten und Anwendungen in der Verifikation von unendlichen Systemen
Andere Interessen liegen in Fragen zur Geschichte und Methodik der Informatik.
Ausgewählte Reden
Ausgewählte Publikationen
Ausgewählte Vorträge
Lehre
Meine Vorlesungen für Studierende im 3. oder 4. Jahr sind
- Angewandte Automatentheorie
- Automaten und Reaktive Systeme
- Temporale Logik und Model-Checking
- Ideengeschichte der Informatik
- Rekursionstheorie
Zeitschriften (Mitglied von Herausgebergremien)
- ACM - Transactions of Computational Logic
- RAIRO - Theoretical Informatics and Applications
- DMTCS - Discrete Mathematics & Theoretical Computer Science
Weitere Aktivitäten
- Vorsitzender des Senats der RWTH Aachen
- Sprecher des DFG-Graduiertenkollegs AlgoSyn (seit 2006)
- Sprecher des Fachbereichs "Grundlagen der Informatik" der GI (Gesellschaft für Informatik)
- Mitglied des Council der EATCS - European Association for Theoretical Computer Science(seit 2003)
- Mitglied des Steering Committee des ESF Research Network AutoMathA (Automata: From Mathematics to Applications)
- Promotionsbeauftragter der Fakultät Mathematik, Informatik und Naturwissenschaften (seit 2006)
- Dekan der Fakultät Mathematik, Informatik und Naturwissenschaften (2004-2006)
- Prodekan der Fakultät Mathematik, Informatik und Naturwissenschaften (2002-2004)
- Sprecher der Fachgruppe Informatik, RWTH Aachen (2000-2002)
- Vorsitzender des DFG-Fachgutachterausschusses "Informatik" (2000-2004)
-
Vertreter der Informatik der RWTH bei der IDEA-League
(2001-2005)
Curriculum Vitae
| 1947 | geboren in Naumburg/Saale |
| 1954-66 | Schule/Gymnasium in Göttingen, Hannover, Celle |
| 1967-68 | Wehrdienst |
| 1968-71 | Studium der Mathematik, Physik, Philosophie an der Universität Freiburg |
| 1971-72 | M.Sc. Course in Mathematischer Logik, University of Bristol,
England M.Sc. (University of Bristol) |
| 1973-82 | Wiss. Mitarbeiter an der Universität Freiburg |
| 1975 | Promotion zum Dr. rer. nat., Universität Freiburg |
| 1980 | Habilitation in Mathematik, Universität Freiburg |
| 1982-89 | Professor (C3) für Informatik, RWTH Aachen |
| 1989-98 | Professor (C4) für Informatik, Universität Kiel |
| 1998- | Professor (C4) für Informatik, RWTH Aachen |
| 2005 | Doctor honoris causa der École Normale Supérieure de Cachan |
| 2006 | Mitglied der Academia Europaea |