Différences entre les versions de « Jean-Francois Dufourd »
Aller à la navigation
Aller à la recherche
| (26 versions intermédiaires par 7 utilisateurs non affichées) | |||
| Ligne 1 : | Ligne 1 : | ||
| − | [[ | + | {{PAGE_Begin}} |
| + | [[en:Jean-Francois_Dufourd]] | ||
| + | {{Image_Cadre|jfd.jpg|right|180}} | ||
| + | ===Fonctions=== | ||
| − | + | '''Professeur émérite en informatique jusqu'en 2020''' à l'[http://www.unistra.fr/ Université de Strasbourg, France] | |
| − | |||
| − | '''Professeur en informatique''' à l'[http://www.unistra.fr/ Université de Strasbourg, France] | ||
'''Enseignement''' au [http://dpt-info.u-strasbg.fr/ Département d'Informatique], [http://mathinfo.unistra.fr/page.php UFR de Mathématique et Informatique], Collégium Sciences | '''Enseignement''' au [http://dpt-info.u-strasbg.fr/ Département d'Informatique], [http://mathinfo.unistra.fr/page.php UFR de Mathématique et Informatique], Collégium Sciences | ||
| − | '''Recherche''' au [http:// | + | '''Recherche''' au [http://icube.unistra.fr Laboratoire ICUBE ] |
| − | + | ===Recherche=== | |
| − | |||
| − | |||
| − | == Recherche == | ||
''Domaine'' : Informatique Géométrique et Graphique | ''Domaine'' : Informatique Géométrique et Graphique | ||
| Ligne 22 : | Ligne 20 : | ||
* en algorithmique géométrique : enveloppes convexes, triangulations et manipulations, triangulations de Delaunay | * en algorithmique géométrique : enveloppes convexes, triangulations et manipulations, triangulations de Delaunay | ||
| − | == Enseignement == | + | ===Enseignement, jusqu'en 2009-2010=== |
''Formations'' : Licence d'Informatique, Master Informatique et Sciences de l'Image, Master Ingénierie du Logiciel et des Connaissances | ''Formations'' : Licence d'Informatique, Master Informatique et Sciences de l'Image, Master Ingénierie du Logiciel et des Connaissances | ||
| Ligne 34 : | Ligne 32 : | ||
Voir aussi ma [http://dpt-info.u-strasbg.fr/~jfd page au département d'informatique]. | Voir aussi ma [http://dpt-info.u-strasbg.fr/~jfd page au département d'informatique]. | ||
| − | == Administratif == | + | ===Administratif=== |
| − | '''Responsable de l'Opération 3''' : Spécification et preuves en géométrie dans l'équipe [http:// | + | '''Responsable de l'Opération 3 jusqu'en 2011''' : Spécification et preuves en géométrie dans l'équipe [http://icube-igg.unistra.fr Informatique Géométrique et Graphique IGG] de ICUBE |
| − | == Un bref CV == | + | ===Un bref CV=== |
| − | Depuis le 01/09/1981 : '''Professeur en Informatique''' à l'Université de Strasbourg, en Classe Exceptionnelle depuis le 01/10/2000 | + | 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 [http://lsiit.u-strasbg.fr/ LSIIT] de 1997 à 2004 (2 mandats) | + | * '''Directeur''' du Laboratoire des Sciences de l'Image, de l'Informatique et de la Télédétection, UMR CNRS-UdS 7005, [http://lsiit.u-strasbg.fr/ LSIIT] de 1997 à 2004 (2 mandats) |
* '''Membre du''' [http://cnu27.lri.fr/ Comité National des Universités CNU 27ème section] (informatique) en 1998, 1999 et de 2003 à 2006 | * '''Membre du''' [http://cnu27.lri.fr/ Comité National des Universités CNU 27ème section] (informatique) en 1998, 1999 et de 2003 à 2006 | ||
| Ligne 58 : | Ligne 56 : | ||
* '''Fondateur et directeur''' du Centre Universitaire Informatique et Enseignement de l'Académie de Strasbourg, de 1983 à 1990 | * '''Fondateur et directeur''' du Centre Universitaire Informatique et Enseignement de l'Académie de Strasbourg, de 1983 à 1990 | ||
| − | == Diplômes == | + | ===Diplômes=== |
* 1980 : '''Doctorat d'Etat''' en Mathématiques (Informatique), Université de Nancy 1 | * 1980 : '''Doctorat d'Etat''' en Mathématiques (Informatique), Université de Nancy 1 | ||
| Ligne 65 : | Ligne 63 : | ||
* 1969 : '''Doctorat de 3ème cycle''' en Mathématiques Appliquées, Université de Nancy 1 | * 1969 : '''Doctorat de 3ème cycle''' en Mathématiques Appliquées, Université de Nancy 1 | ||
| − | == Distinction == | + | ===Distinction=== |
| − | * 2004 : '''Chevalier''' des Palmes Académiques | + | * 2004 : '''Chevalier''', 2011 : '''Officier''' des Palmes Académiques |
| − | ==Publications== | + | ===Publications=== |
| − | < | + | <iframe key="papr" path="?author=Jean-Fran%C3%A7ois+Dufourd&=#hideMenu" /> |
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | ==Contact== | + | ===Contact=== |
Jean-François DUFOURD | Jean-François DUFOURD | ||
| − | + | ICUBE UMR 7357 CNRS - UdS | |
Pôle API | Pôle API | ||
| Ligne 88 : | Ligne 80 : | ||
67412 Illkirch cedex | 67412 Illkirch cedex | ||
FRANCE | FRANCE | ||
| − | + | jfd {at} unistra {dot} fr | |
| − | + | ||
| − | + | {{PAGE_End}} | |
| − | |||
| − | |||
Version actuelle datée du 13 janvier 2021 à 16:56
Fonctions
Professeur émérite en informatique jusqu'en 2020 à 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 jusqu'en 2011 : 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
Contact
Jean-François DUFOURD ICUBE UMR 7357 CNRS - UdS
Pôle API
BP 10413
Bd Sébastien Brant
67412 Illkirch cedex
FRANCE
jfd {at} unistra {dot} fr