portrait of Charles Pecheur

Charles Pecheur

LVL / INGI / ICTEAM

Ecole Polytechnique de Louvain

Université catholique de Louvain


   This page is old.  See my current web page at http://lvl.info.ucl.ac.be/Members/CharlesPecheur

Bonjour !

EN I am professor in the Dept. Computer and Software Engineering at Université catholique de Louvain in Belgium, where I am leading the Louvain Verification Lab.  I am interested in formal methods and automated verification, and related aspects of software engineering. I was born in Liège, Belgium, and lived and studied there until I obtained my PhD from Université de Liège. Then I went on a post-doctoral fellowship at INRIA in Grenoble, France, before I crossed the Atlantic to join the Automated Software Engineering Group at NASA Ames in California. I came back to Belgium and Louvain-la-Neuve in 2004. I am married and father of two.

Publications (until 2009)

List of Publications
Slides from Talks
Code

– Curator: Charles Pecheur