|
|
Charles PecheurLVL / INGI
/ ICTEAM
|
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.