Wolfgang Thomas
 |
Contact
|
Research
My main interest is the development of automata theory as a framework for modelling, analyzing, verifying, and synthesizing systems. This includes
- Generalized models of automata (over trees, pictures, relational structures)
- Automata over infinite words and trees
- The relation between automata and logical systems
- The effective theory of infinite games
- Infinite automata and applications in the verification of infinite systems
Other interests are questions of the history and methodology of computer science.
Selected Publications
Selected Talks
Teaching
My courses for 3rd or 4th year students are
- Applied Automata Theory
- Automata and Reactive Systems
- Temporal Logic and Model-Checking
- History of Ideas of Informatics
- Recursion Theory
Journals (Member of Editorial Board)
- ACM - Transactions of Computational Logic
- RAIRO - Theoretical Informatics and Applications
- DMTCS - Discrete Mathematics & Theoretical Computer Science
Further Activities
- Speaker of the DFG Research Training Group AlgoSyn (since 2006)
- Member of Council of EATCS - European Association for Theoretical Computer Science (since 2003)
- Member of Steering Committee of ESF Research Network AutoMathA (Automata: From Mathematics to Applications)
- Promotionsbeauftragter (spokesman for doctoral studies) of the Faculty of Mathematics, Computer Science and Natural Sciences (since 2006)
- Dean of Faculty of Mathematics, Informatics and Natural Sciences (2004-2006)
- Vice-Dean of Faculty of Mathematics, Informatics and Natural Sciences (2002-2004)
- Speaker of the Group of Computer Science, 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
| 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 of École Normale Supérieure de Cachan |