Tags

Verification, Autonomous Systems, Symbolic Model Checking, Epistemic Logic, Coverage Criteria

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.

• 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-...)

• UCL (2005)
• INRIA Rhône-Alpes (1998)
• Institut Montéfiore (1996)

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

About

This is an area on your website where you can add text. This will serve as an informative location on your website, where you can talk about your site.