!!!Joseph Sifakis
\\
%%(float:left;margin-left:20px;margin-right:30px;)
[{Image src='sifakis.jpg' caption='Foto: B. Meyer' height='200' alt='Joseph Sifakis'}]
%%
\\[{AcadMemberDataPlugin}]
Homepage:%%(margin-left:23px;) %%[http://www-verimag.imag.fr/~sifakis]
\\ \\ 
\\ \\ 
__Present and Previous Positions__
*Since 2008 Chair of INRIA-Schneider endowed industrial 
*CNRS Research Director 
*1993 - 2006 Founder of VERIMAG Laboratory and Director
*Director of the CARNOT Institute "Intelligent Software and Systems" in Grenoble 
\\
__Fields of Scholarship__
*Theoretical and practical aspects of concurrent systems specification and verification
*Component-based design, modeling, and analysis of real-time systems with focus on correct-by-construction techniques 
\\
__Honours and Awards__
*2011 Honorary doctor, International Hellenic University
*2010 Honorary doctor, University of Athens
*2009 Honorary doctor, École Polytechnique Fédérale de Lausanne, Switzerland
*2008 Honorary Professor of the University of Patras
*2011 Member of the French Academy of Sciences
*2008 Member of the Academia Europaea
*2008 Member of the French National Academy of Engineering
*2011  Commander of the Legion of Honor
*2008  Grand Officer of the French National Order of Merit
*2012 Test-of-Time Award for the paper "Symbolic model checking for real-time systems"
* Leonardo da Vinci Medal (2012); Logic in Computing Science (LICS)
* The Turing Award 2007 (together with Ed Clarke and Allen Emerson) for their contribution to Model Checking
*2001  The CNRS Silver Meda
\\ \\

%%columns-900

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

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

[{ALLOW comment All}]