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