Wolfgang Thomas#

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

Imprint Privacy policy « This page (revision-7) was last updated on Monday, 24. August 2015, 10:50 by Majkowska Katarzyna
  • operated by