Experience
Education
Bio
Research Scientific leader of the INRIA research project-team ProVal (common PCRI project: université Paris Sud, CNRS, École Polytechnique and INRIA Saclay - Île-de-France) Head of the team Démons Editorial board: Journal of Formalized Reasoning Member of Program committees: MPC ’10: Mathematics of Program Construction, 21-23 June 2010, Manoir St-Castin Québec, Canada TPHOLs’08 : 21st International Conference on Theorem Proving in Higher Order Logics, 18-21 August 2008, Montréal, Canada MPC ’08: Mathematics of Program Construction, 15-18 July 2008, CIRM, Luminy, France (chair) TPHOLs’07 : 20th International Conference on Theorem Proving in Higher Order Logics, 11-13 September 2007, Kaiserslautern, Germany WoLLIC’2007 : 14th Workshop on Logic, Language, Information and Computation July 2-5, 2007, Rio de Janeiro, Brazil IJCAR : International Joint Conference on Automated Reasoning August 16-21, 2006, Seattle (part of FLOC’06) JFLA’2006 Journées Francophones des Langages Applicatifs 28-31 janvier 2006, Pauillac, France Past events Organisation of the Mathematics of Program Construction (MPC ’08) conference. CIRM, Luminy, France, 15-18 July 2008. Colloquium in honor of Gérard Huet June 22th and 23th, 2007, École Normale Supérieure, Paris. Summerschools Types Summer School, August 19-31th, 2007 Bertinoro - Italy slides Types Summer School 2005 Slides : advi, ps, ps (4 per page) Summer School on Foundations of Security (2003) Course notes on inductive definitions Research projects Denotational semantics for Kahn Networks Description of the Coq library - Version July 2007 (HTML version) Coq Source files of the library Proofs of randomized algorithms ANR Project SCALP (2007-2011) Description of the Coq library - new version 4 - 2009 (HTML version) Coq Source files of the library Proofs of Java programs ACI security project: GECCOO (2003-2006) Site leader and member of the steering committee of the europeean Coordination Action TYPES We organised the international workshop TYPES’2004, Jouy-en Josas, 15-18 décembre 2004 Working groups Maths in Coq Report 2006-PDF Report 2005(PDF)