Wolfgang Thomas#
| Email: | thomas 'at' informatik.rwth-aachen.de |
| Membership Number: | 2373 |
| Main Country of Residence: | GERMANY |
| Section: | INFORMATICS |
| Username: | wthomas |
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)
| operated by | 
|