Jean-Francois Dufourd

Functions

Professor in Computer Science at Strasbourg University, France

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

Research

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 the Computer science for imagery team 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 Academy, from 1983 to 1990

Degrees

• 1980: Doctorat d'Etat (Habilitation) in Mathematics (Computer science), Nancy 1 University

• 1975: CAAE: post-graduation of the Institut d'Administration des Entreprises, Nancy 2 University

• 1969: PhD in Applied Mathematics, Nancy 1 University

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

Jean-François DUFOURD
LSIIT UMR 7005 CNRS - UdS

Pôle API
BP 10413
Bd Sébastien Brant
67412 Illkirch cedex
FRANCE

Bureau C113 
Tel : +33 (0)3 90.24.45.55 
Fax : +33 (0)3 90.24.44.55 
E-mail : jfd AT unistra.fr