Jean-Francois Dufourd
Functions
Professor in Computer Science at Strasbourg University, France
Teatching: at Dep. of Computer Science, UFR de Mathématique et Informatique, Collégium Sciences
Research: at LSIIT: Laboratoire des Sciences de l'Image, de l'Informatique et de la Télédétection
Recherche
Domain: Computer Science and applications to geometry and graphics
Key-words: Geometric modelling and computational geometry, Formal specifications and proofs, Proof helped by the Coq system
Current work: Specifications and proofs with Coq in topology et geometry:
- in combinatorial topology: hypermaps, genus, planarity, discrete Jordan curve theorem, high-level operations
- in computational geometry: convex hulls, triangulations and manipulations, Delaunay triangulations
Teaching
Formations : Licence d'Informatique, Master Informatique et Sciences de l'Image, Master Ingénierie du Logiciel et des Connaissances
Modules :
- Data structures and algorithms 1 in L2 Informatique - L2 Mathématique
- Data structures and algorithms 2 in L2 Informatique - L2 Mathématique
- Certification of software in M2 Informatique et Sciences de l'Image
- Proofs in geometry in M2 Informatique et Sciences de l'Image
- Certification of software in M2 Ingénierie du Logiciel et des Connaissances
See also my page in Department of Computer Science.
Management
Head of Operation 3 : Specifications and proofs in geometry in the IGG Informatique Géométrique et Graphique team of LSIIT
A brief CV
Since 01/09/1981 : Professor in Computer Science at Strasbourg University, in Classe Exceptionnelle since 01/10/2000
- Director of LSIIT, from 1997 to 2004 (2 mandates)
- Member of Comité National des Universités CNU 27ème section (informatique) in 1998, 1999 and from 2003 to 2006
- Head of team Computer science for imagery in LSIIT, from 1994 to 1996
- Founder and in charge of DEA and Doctoral Formation in Computer Science of Louis-Pasteur University of Strasbourg, from 1991 to 1996
- Chair of Commission de Spécialistes CS 27ème section of the Louis-Pasteur University of Strasbourg, from 1985 to 1990
- Founder and head of Department of Computer science, UFR de Mathématique et Informatique of the Louis-Pasteur University of Strasbourg, from 1984 to 1989
- Founder and in charge of DESS of Computer Science of the Louis-Pasteur University of Strasbourg, from 1985 to 1991
- Founder and head of du Centre Universitaire Informatique et Enseignement of the Strasbourg Academia, from 1983 to 1990