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.