Members

Charles Pecheur

Contact Information

Charles Pecheur
Professor, LVL Group Lead
UCL / EPL / ICTEAM / INGI
Place Sainte Barbe, 2
1348 Louvain-la-Neuve
Belgium

Office: Réaumur A.211 (2nd floor)
Phone: +32 10 47 87 79
Fax: +32 10 45 03 45
Email: Charles [period] Pecheur [snail] uclouvain [period] be -> mailto:Charles [period] Pecheur [snail] uclouvain [period] be

Tags
, , , ,

Biography

Charles Pecheur

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

Courses

  • LFSAB1401 - Informatique 1 (2005-...)
  • LSINF1101 - Introduction à la Programmation (2012-...)
  • LFSAB1501 - Projet 1 (2005-...)
  • LSINF2224 - Programming Methods (2004-...)
  • LINGI2143 - Concurrent Systems: Models and Analysis (2007-...)
  • LINGI2264 - Automated Reasoning (2008-...)

Former Home Pages

For publications and talks before 2005, see Charles Pecheur's former UCL home page


Publications

Talks


Tags Tags: , , , ,