Jean-Francois Dufourd

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

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)

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, 2011 : Officier des Palmes Académiques

Publications

<anyweb>http://icube-publis.unistra.fr/?author=Jean-Fran%C3%A7ois+Dufourd&=#hideMenu</anyweb>

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