Différences entre les versions de « Jean-Francois Dufourd »
Ligne 21 : | Ligne 21 : | ||
== Enseignement == | == Enseignement == | ||
− | ''Formations'' : Licence d'Informatique | + | ''Formations'' : Licence d'Informatique, Master Informatique et Sciences de l'Image, Master Ingénierie du Logiciel et des Connaissances |
''Matières'' : | ''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 |
− | * Informatique | + | * 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 [http://dpt-info.u-strasbg.fr/~ | + | Voir aussi ma [http://dpt-info.u-strasbg.fr/~dufourd page au département d'informatique]. |
== Administratif == | == Administratif == |
Version du 29 juin 2009 à 10:02
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écification et preuve en topologie algébrique : hypercartes, genre, planarité, théorème de Jordan discret, opérations de haut niveau
- Spécification et preuve en algorithmique géométrique : 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'équipe IGG Informatique Géométrique et Graphique du LSIIT
Membre de la Commission Nationale des Universités CNU 27ème section (informatique)
Un bref CV
Depuis le 01/09/1996 : Professeure en Informatique à l'Université de Strasbourg - PR 1ère classe depuis le 01/09/2004 - Délégation CNRS du 01/09/2003 au 30/08/2005
- Membre du Commission Nationale des Universités CNU 27ème section (informatique) de 2007 à 2011
- Présidente de la Commission de Spécialistes CS 27ème section de l'Université Louis Pasteur de Strasbourg de 2004 à 2008
- Responsable du projet STIC-Asie en réalité vituelle CNRS, INRIA, Ministère des Affaires Etrangères de 2004 à 2007
- Organisatrice des journées AFIG-EG France 2005 à Strasbourg, 28-29-30, novembre 2005 à l'IRCAD.
- Directeure Département d'Informatique, UFR de Mathématique et Informatique de l'Université Louis Pasteur Strasbourg de 1997 à 2000
- Responsable de l'équipe IGG Informatique Géométrique et Graphique du LSIIT
1990-96 : Maître de Conférences en Informatique à l'Université Louis Pasteur Strasbourg
- Responsable de la maîtrise d'informatique de l'Université Louis Pasteur Strasbourg de 1992 à 1997
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