Jean-Francois Dufourd

Fonctions

Professeur en informatique à l'Université de Strasbourg, France

Enseignement au Département d'Informatique, UFR de Mathématique et Informatique, Collégium Sciences

Recherche au LSIIT Laboratoire des Sciences de l'Image, de l'Informatique et de la Télédétection

Recherche

Domaine : Informatique Géométrique et Graphique

Mots Clés : Modélisation et algorithmique géométriques, Spécification et preuve formelles, Assistance à la preuve avec le système Coq

Travaux en cours : Spécifications et preuves en Coq en topologie et géométrie :

• en topologie combinatoire : hypercartes, genre, planarité, théorème de Jordan discret, opérations de haut niveau
• en algorithmique géométrique : enveloppes convexes, triangulations et manipulations, triangulations de Delaunay

Enseignement

Formations : Licence d'Informatique, Master Informatique et Sciences de l'Image, Master Ingénierie du Logiciel et des Connaissances

Matières :

• Structures de données et algorithmes 1 en L2 Informatique - L2 Mathématique
• Structures de données et algorithmes 2 en L2 Informatique - L2 Mathématique
• Certification du logiciel en M2 Informatique et Sciences de l'Image
• Preuves en géométrie en M2 Informatique et Sciences de l'Image
• Certification du logiciel en M2 Ingénierie du Logiciel et des Connaissances

Voir aussi ma page au département d'informatique.

Administratif

Responsable de l'opération 3 : Spécification et preuves en géométrie dans l'équipe IGG Informatique Géométrique et Graphique du LSIIT

Un bref CV

Depuis le 01/09/1981 : Professeur en Informatique à l'Université de Strasbourg, en Classe Exceptionnelle depuis le 01/10/2000

• Directeur du LSIIT de 1997 à 2004 (2 mandats)

• Membre du Comité National des Universités CNU 27ème section (informatique) en 1998, 1999 et de 2003 à 2006

• Responsable de l'équipe Informatique pour l'Imagerie du LSIIT, de 1994 à 1996

• Fondateur et responsable du DEA et de la Formation Doctorale en Informatique de l'Université Louis-Pasteur de Strasbourg de 1991 à 1996

• Président de la Commission de Spécialistes CS 27ème section de l'Université Louis-Pasteur de Strasbourg de 1985 à 1990

• Fondateur et directeur du Département d'Informatique, UFR de Mathématique et Informatique de l'Université Louis-Pasteur de Strasbourg de 1984 à 1989

• Fondateur et responsable du DESS en Informatique de l'Université Louis-Pasteur de Strasbourg de 1985 à 1991

• Fondateur et directeur du Centre Universitaire Informatique et Enseignement de l'Académie de Strasbourg, de 1983 à 1990

Diplômes

• 1980 : Doctorat d'Etat en Mathématiques (Informatique), Université de Nancy 1

• 1975 : CAAE : diplôme de 3ème cycle de l'Institut d'Administration des Entreprises, Université de Nancy 2

• 1969 : Doctorat de 3ème cycle en Mathématiques Appliquées, Université de Nancy 1

Distinction

• 2004 : Chevalier des Palmes Académiques

Publications

<websiteFrame lg=fr author=Dufourd year=-1 Hide=2 search=0> website=http://lsiit.u-strasbg.fr/Publications/index.php align=middle height=700 width=100% scroll=auto </websiteFrame>

Contact

Jean-François DUFOURD
LSIIT UMR 7005 CNRS - UdS

Pôle API
BP 10413
Bd Sébastien Brant
67412 Illkirch cedex
FRANCE

Bureau C113 
Tel : +33 (0)3 90.24.45.55 
Fax : +33 (0)3 90.24.44.55 
Courriel : jfd AT unistra.fr