Jean-Francois Dufourd

Aller à : navigation, rechercher
Jfd.jpg

Fonctions

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

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

Recherche au Laboratoire ICUBE

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, jusqu'en 2009-2010

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 Informatique Géométrique et Graphique IGG de ICUBE

Un bref CV

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

  • Directeur du Laboratoire des Sciences de l'Image, de l'Informatique et de la Télédétection, UMR CNRS-UdS 7005, LSIIT de 1997 à 2004 (2 mandats)
  • 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 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, 2011 : Officier des Palmes Académiques

Publications

Contact

Jean-François DUFOURD
ICUBE UMR 7357 CNRS - UdS
Pôle API
BP 10413
Bd Sébastien Brant
67412 Illkirch cedex
FRANCE
Bureau C113 
Tel : +33 (0)3 68.85.45.55 
Fax : +33 (0)3 68.85.44.55 
Courriel : jfd AT unistra.fr