!!!Thomas A. Henzinger
\\
%%(float:left;margin-left:20px;margin-right:30px;)
[{Image src='henzinger_thomas.jpg'  alt='Thomas A. Henzinger' height='200'}]
%%
[{AcadMemberDataPlugin}]
Homepage:%%(margin-left:23px;) %%[http://www.ist.ac.at/~tah>http://www.ist.ac.at/~tah]
\\ \\
\\ \\
__Present and Previous Positions__
*2009 President, IST Austria
*2004 Professor of Computer and Communication Sciences, EPFL
*1999 - 2000 Director, Max Planck Institute for Computer Science, Saarbruecken
*1998 Professor of Electrical Engineering and Computer Sciences, University of California, Berkeley
*1997 Associate Professor of Electrical Engineering and Computer Sciences, University of California, Berkeley
*1996 Assistant Professor of Electrical Engineering and Computer Sciences, University of California, Berkeley
*1992 Assistant Professor of Computer Science, Cornell University
*1991 PhD in Computer Science, Stanford University
\\
__Fields of Scholarship__
*Computer-aided verification
*Model checking
*Concurrency theory
*Real-time systems
*Embedded Software
\\
__Honours and Awards__
*ACM Fellow
*IEEE Fellow
*German Academy of Sciences (Leopoldina)
*2012 Wittgenstein Award
\\ \\

%%columns-900

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

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

[{ALLOW comment All}]