Professeur, Projet PROVAL INRIA Futurs Bureau 012, Bat N Parc club Orsay Université, Zac des Vignes 4, rue Jacques Monod, 91893 Orsay cedex, France & LRI, UMR 86223 CNRS, Bat 490 Université Paris Sud 91405 ORSAY Cedex, France tel (+33) (0)1 72 92 59 05 fax (+33) (0)1 60 19 69 63 mail Christine.Paulin@lri.fr

Recherche

• Responsable de l'équipe Démons
• Responsable du projet ProVal (projet PCRI commun à l'université Paris Sud, au CNRS, à l'École Polytechnique et à l'INRIA Futurs)
• Associée au projet commun PCRI LogiCal
• Membre des comités de programme :
  • 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
  • CLASE : Constructive Logic for Automated Software Engineering Satellite event of ETAPS 2005, Edinburgh, 3rd April 2005
  • 16th International Conference on Rewriting Techniques and Applications RTA'05 April 19 - 21, 2005 Nara, Japan
  • 18th International Conference on Theorem Proving in Higher Order Logics TPHOLs'05 22-25 August 2005, Oxford, UK
• Types Summer School 2005 Slides : advi, ps, ps (4 per page)
• Summer School on Foundations of Security
  Course notes on inductive definitions
• Projets de recherche
  • Automates temporisés dans le cadre des projets Calife (1999-2002) et Averroes
  • Preuve de programmes Java dans le cadre du projet Verificard (2000-2003)
    et de l'ACI Sécurité GECCOO(2003-2006)
  • Preuve de programmes aléatoires
    Description of the Coq library, january 2006
    Transparents de l'exposé, Averroes sept 2003
• Site leader and member of the steering commitee of the europeean Coordination Action TYPES
  • We organised the international workshop TYPES'2004, Jouy-en Josas, 15-18 décembre 2004
  • Groupe de travail Maths in Coq
  • Report 2006-PDF
  • Report 2005(PDF)
  • Meeting TYPES'2003
  • TYPES Summer School'02 : Theory and Practice of Formal Proof
• Quelques sujets de stages en liaison avec mes activités de recherche.

Enseignement

• 2005- Directrice de l'École Doctorale d'Informatique de l'Université Paris Sud.
• 2004-2005 Responsable du master mention informatique
• 1998-2005 Responsable des licence et maîtrise d'informatique
• Enseignement en Deug 2004-2005
  • S3 MIAS Approche fonctionnelle (Cours-TD)
• Enseignement en Master informatique M1 (maîtrise) 2004-2005
  • Compilation (Cours-TD-Projet)
• Enseignement en spécialité Compétences Complémentaires en Informatique (CCI) 2004-2005
  • Principes des Langages de Programmation (Cours)
• Enseignement en DEA Sémantique, Preuves et Langages 2003-2004
  • Calcul des Constructions Inductives (Cours)
• Membre du comité de direction du Master Parisien de Recherche en Informatique (MPRI)

Publications

• Publications
• Documents de la formation Coq 25-27 février 2002

Participation à des développements logiciels

• Assistant de preuve Coq
• Krakatoa Outil de preuve de programmes Java spécifiés en JML.

This document was translated from L^AT_EX by H^EV^EA.