!!!Wolfgang Thomas
%%(float:left;margin-right:30px;)
[{Image src='Wolfgang Thomas.jpg' caption='' height='200' alt='Wolfgang Thomas'}]
%%
[{AcadMemberDataPlugin}]
Homepage:%%(margin-left:23px;) %% [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)
\\

%%columns-900

%%coolborders-140-70
[{Image src='User/paper_content_pencil_48.png' width='48px' class='image_left'}]
[Curriculum Vitae |User/Thomas_Wolfgang/CV]
%%
----
%%coolborders-140-70
[{Image src='User/book_48.png' class='image_left'}]
[Publication list|User/Thomas_Wolfgang/Publications]
%%
----
%%coolborders-140-70
[{Image src='User/camera_noflash_48.png' width='48px' class='image_left'}]
[Highlights of my work and anecdotes|User/Thomas_Wolfgang/Highlight]
%%
----
%%coolborders-140-70
[{Image src='User/database_48.png' class='image_left'}]
[Other information|User/Thomas_Wolfgang/OtherInformation]
%%
%%

[{ALLOW view All}]
[{ALLOW edit wthomas}]
[{ALLOW upload wthomas}]

[{ALLOW comment All}]