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 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
- Sprecher des DFG Graduiertenkollegs AlgoSyn (seit 2006)
- Mitglied im Council of EATCS - European Association for Theoretical Computer Science (seit 2003)
- Mitglied im Steering Committee of 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)
-
Delegate of Computer Science of RWTH at IDEA-League
Report of IDEA WG "Computer Science" (2001-2005) - Chairman of Referee Board of Computer Science, German Science Foundation DFG (2000-2004)
- Member of the Board of GIBU (GI-Beirat der Universitätsprofessoren) (1995-2003)
- Member of the Advisory Board of the MINERVA John von Neumann Research Center "Formal Verification of Reactive Systems", Rehovot, Israel (1998-2005)
- Member of Gödel Prize Committee 1998-2001, chairman 2001
- Chairman of GI-Fachausschuss "Theoretische Informatik" (1998-2001)
- Member of Steering Committee of DLT - Developments in Language Theory (1995-2005)
- Member of Steering Committee of ETAPS (1997-2000)
Curriculum Vitae (engl.)
| 1947 | born in Naumburg/Saale |
| 1954-66 | School education in Göttingen, Hannover, Celle (Lower Saxony) |
| 1967-68 | Military service |
| 1968-71 | Study of Mathematics, Physics, Philosophy at University of Freiburg |
| 1971-72 | M.Sc. Course in Mathematical Logic, University of Bristol, UK M.Sc. of University of Bristol |
| 1973-82 | Scientific employee at University of Freiburg |
| 1975 | Promotion to Dr. rer. nat., University of Freiburg |
| 1980 | Habilitation in Mathematics, University of Freiburg |
| 1982-89 | Assoc. Professor of Computer Science, RWTH Aachen |
| 1989-98 | Full Professor of Computer Science, University of Kiel |
| 1998- | Full Professor of Computer Science, RWTH Aachen |
| 2005 | Doctor honoris causa der École Normale Supérieure de Cachan |