Olivier PONS
Organisation: INRIA
Unité de Recherche: Sophia AntipolisProjet: CROAP
Tel : +33 92 38 76 32
Fax : +33 92 34 76 33
E-mail: Olivier.Pons@sophia.inria.fr
cette page est perpétuellement
en construction
Thèmes de recherche
Ma thèse
Je m'intéresse à la réalisation d'outils d'aide au développement de
grosses théories dans les systémes d'aide à la preuve et plus particulièrement pour le
système
Coq.Il s'agit de fournir des outils permettant de mieux comprendre
de grosses preuves, de gérer les dépendances entres des sous-preuves ou
entre les différent résultats mathématiques afin d'en faciliter le
développement et la maintenance.
Enseignement
Depuis deux ans je suis vacataire à l'Universités de Nice Sophia Antipolis
Publications récentes
Quelques petis hacks (parfois obsolètes !)
Un mode emacs (pour XEmacs 19.13) pour Coq
Coqfind
Un petit script PERL pour fouiller les bibliotheque de Coq
Quelques liens utiles