Différences entre les versions de « Jean-Francois Dufourd »
Ligne 37 : | Ligne 37 : | ||
== Un bref CV == | == Un bref CV == | ||
− | Depuis le 01/09/1981 : '''Professeur en Informatique''' à l'Université de Strasbourg | + | Depuis le 01/09/1981 : '''Professeur en Informatique''' à l'Université de Strasbourg, en Classe Exceptionnelle depuis le 01/10/2000 |
− | |||
− | |||
+ | * '''Directeur''' du [http://lsiit.u-strasbg.fr/ LSIIT] de 1997 à 2004 | ||
* '''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 | ||
+ | * '''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 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 |
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | + | * '''Directeur''' du [http://dpt-info.u-strasbg.fr/ Département d'Informatique], [http://mathinfo.unistra.fr/page.php UFR de Mathématique et Informatique] de l'Université Louis-Pasteur Strasbourg de 1984 à 1989 | |
− | * ''' | + | * '''Fondateur et responsable''' du DESS en Informatique de l'Université Louis-Pasteur Strasbourg de 1985 à 1991 |
+ | * '''Directeur''' du Centre Universitaire Informatique et Enseignement de l'Académie de Strasbourg, | ||
1989-90 : Chercheure-'''Postdoctorante au Thomas Watson Research Center''' d'IBM Corporation, USA | 1989-90 : Chercheure-'''Postdoctorante au Thomas Watson Research Center''' d'IBM Corporation, USA |
Version du 29 juin 2009 à 10:28
Fonctions
Professeur en informatique à l'Université de Strasbourg
Enseignant au Département d'Informatique, UFR de Mathématique et Informatique, Collégium Sciences
Chercheur 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 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
- 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 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
- Directeur du Département d'Informatique, UFR de Mathématique et Informatique de l'Université Louis-Pasteur Strasbourg de 1984 à 1989
- Fondateur et responsable du DESS en Informatique de l'Université Louis-Pasteur Strasbourg de 1985 à 1991
- Directeur du Centre Universitaire Informatique et Enseignement de l'Académie de Strasbourg,
1989-90 : Chercheure-Postdoctorante au Thomas Watson Research Center d'IBM Corporation, USA
1986-89 : Doctorante au Centre Scientifique d'IBM France, Paris
Diplômes
13 Décembre 1995 : Habilitation à diriger des recherches de l'Université Louis Pasteur de Strasbourg sur un "Modèle de déformation pour la modélisation géométrique et l'animation"
19 Juin 1989 : Doctorat de l'Université Louis Pasteur de Strasbourg sur la "Définition et la manipulation de primitives surfaciques de formes libres"
1986 : DEA Traitement Graphique - Traitement d'Images (Major) à l'Université Louis Pasteur de Strasbourg
1985 : Maîtrise d'informatique (Major) de l'Université Louis Pasteur de Strasbourg
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
Dominique BECHMANN LSIIT UMR 7005 CNRS - UdS
Pôle API BP 10413 Bd Sébastien Brant 67412 Illkirch cedex FRANCE
Bureau C110 Tel : +33 (0)3 90.24.45.64 Fax : +33 (0)3 90.24.44.55 Courriel : bechmann AT unistra.fr