Jean-Francois Dufourd

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 Coq :

• en topologie combinatoire : hypercartes, genre, planarité, théorème de Jordan discret, opérations de haut niveau
• 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