François Puitg

Équipe ATINF

Laboratoire LEIBNIZ-IMAG
46, avenue Félix Viallet
38031 GRENOBLE France

Bureau : D09 (bâtiment Hitella)
Tél: 4 76 57 45 69
Fax: 4 76 57 46 02
Mail: puitg@imag.fr

RECHERCHE

Mots Clés : démonstration automatique - Coq - spécifications formelles - extraction de programmes - Calcul des constructions Inductives

Travaux en cours : "Preuves en modélisation géométrique par le Calcul des Constructions Inductives (description détaillée) .

Quelques publications :

"Functional specifications and prototyping with combinatorial maps", Computational Geometry - Theory and Applications, 2000, en collaboration avec Jean-François Dufourd
"Formalizing mathematics in higher order logic: A case study in geometric modelling", Theoretical Computer Science 234, 2000, 57 pages
"Current Trends in Applied Formal Methods", Boppard, Allemagne, octobre 1998
"Theorem proving in Higher Order Logics", Canberra, Australlie, septembre 1998

ENSEIGNEMENT

Deug MIAS 1ère année : algorithmique et programmation (en Pascal), expression fonctionnelle (en Caml)
Licence : architectures logicielles et matérielles, logique, prolog
Maîtrise : Coq, un assistant à la preuve
Dess CCI : Système et matériel