!!!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__
* A. Richard Newton Technical Impact Award in Electronic Design Automation 2023 (shared with Moshe Vardi)
* CAV (Computer Aided Verification) 2014 Award (shared with Patrice Godefroid, Doron Peled, and Antti Valmari)
* Symposium on Logic in Computer Science (LICS) 2011 Test-of Time Award for the paper "A partial approach to model checking" by Patrice Godefroid and Pierre Wolper
* Member of the Royal Academy of Sciences, Arts and Letters of Belgium (since 2009)
* Symposium on Logic in Computer Science (LICS) 2006 Test-of Time Award for the paper "An Automata-Theoretic Approach to Automatic Program Verification"  by Moshe Y. Vardi and Pierre Wolper
* ACM Kanellakis Theory and Practice award 2005 (shared with G. Holzmann, M. Vardi, and R. Kurshan)
* Gödel Prize 2000 for the paper "Reasoning about Infinite Computations" by Moshe Y. Vardi and Pierre Wolper
* "Chaire Francqui au titre belge" (invited honorary chair), Facultés Universitaires Notre Dame de la Paix à Namur, 1998
* Prize of the Alumni of the "Fondation Universitaire Belge" 1990
\\
%%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}]