!!!Pierre Wolper
\\
%%(float:left;margin-left:20px;margin-right:30px;) 
[{Image src='034-2PW.jpg'  alt='Pierre Wolper' height='200'}]
%% 
\\
[{AcadMemberDataPlugin}]
\\ \\
\\ \\
\\
__Present and Previous Positions__
* 2022 - present Professeur Emérite, University of Liège
* 1989 - 2022 Professeur Ordinaire (Full Professor), University of Liège
* 2018 - 2022 Rector of the University of Liège
* 2015 - 2018 Dean of the School of Engineering, University of Liège
* 2009 - 2014 Vice-Rector for Research, University of Liège
* 2001 - 2009 Chair of the EECS Department, University of Liège
* 1986 - 1989 Chargé de Cours (Lecturer), University of  Liège
* 1982 - 1986 “Member of Technical Staff”, Bell Laboratories, Murray Hill, New Jersey
\\
__Fields of Scholarship__
[{AcadMemberFOScholarshipPlugin}]
\\
__Honours and Awards__
*2023 A. Richard Newton Technical Impact Award in Electronic Design Automation (shared with Moshe Vardi)
*2014 CAV (Computer Aided Verification) Award (shared with Patrice Godefroid, Doron Peled, and Antti Valmari)
*2011 Symposium on Logic in Computer Science (LICS) Test-of Time Award for the paper "A partial approach to model checking" by Patrice Godefroid and Pierre Wolper
*2009 Member of the Royal Academy of Sciences, Arts and Letters of Belgium
*2006 Symposium on Logic in Computer Science (LICS) Test-of Time Award for the paper "An Automata-Theoretic Approach to Automatic Program Verification"  by Moshe Y. Vardi and Pierre Wolper
*2005 ACM Kanellakis Theory and Practice Award (shared with G. Holzmann, M. Vardi, and R. Kurshan)
*2000 Gödel Prize for the paper "Reasoning about Infinite Computations" by Moshe Y. Vardi and Pierre Wolper
*1998 "Chaire Francqui au titre belge" (invited honorary chair), Facultés Universitaires Notre Dame de la Paix à Namur
*1990 Prize of the Alumni of the "Fondation Universitaire Belge"
\\
%%columns-900

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











[{ALLOW view All}][{ALLOW edit pwolper}][{ALLOW upload pwolper}][{ALLOW comment All}]