Wolfgang Thomas#
| Membership Number: | 2373 |
| Membership type: | ORDINARY |
| Section: | INFORMATICS |
| Elected: | 2006 |
| Main Country of Residence: | GERMANY |
| Homepage(s): | http://automata.rwth-aachen.de/~thomas |
Present and Previous Positions
- 1998 Full Professor of Computer Science, RWTH Aachen
- 1989-1998 Full Professor of Computer Science, University of Kiel
- 1982-1989 Assoc. Professor of Computer Science, RWTH Aachen
- 1973-1982 Scientific employee at University of Freiburg
- 1971-1972 M.Sc. Course in Mathematical Logic, University of Bristol, UK M.Sc. of University of Bristol
Fields of Scholarship
- 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
Honours and Awards
- Member of Academia Europaea
- Member of Council of EATCS -European Association for Theoretical Computer Science
- Chairman of Referee Board of Computer Science, German Science Foundation DFG (2000-2004)
- Member of the Board of GIBU (Gl·Beirat der Universitatsprofessoren) (1995-2003)
- Member of the Advisory Board of the MINERVA John von Neumann Research Center
- "Formal Verincation of Reactive Systems", Rehovot, Israel (1998-2005)
- Member of Godel Prize Committee 1998-2001, chairman 2001
- Chairman of GI-Fachausschuss "Theoretische Informatik" (1998-2001)
- Member Steering Committee of DLT - Developments in Language Theory (1995-2005)
- Member of Steering Committee of ETAPS (1997-2000)
