Team IGG : Computer Graphics and Geometry

Jean-Francois Dufourd

From Team IGG : Computer Graphics and Geometry

Revision as of 16:00, 29 June 2009 by Kraemer (talk | contribs) (→‎Functions)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Jump to navigation Jump to search

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: Geometrical and Graphical Computer Science

Key-words: Geometric modelling and computational geometry, Formal specifications and proofs, Proof helping with the Coq system

Current work: Specifications and proofs with Coq in topology et geometry:

in combinatorial topology: hypermaps, genus, planarity, discrete Jordan curve theorem, higl level operations
in computational geometry: convex hulls, triangulations and manipulations, Delaunay triangulations

Retrieved from "https://igg.icube.unistra.fr/en/index.php?title=Jean-Francois_Dufourd&oldid=1643"