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.