Difference between revisions of "Jean-Francois Dufourd"
Jump to navigation
Jump to search
Line 6: | Line 6: | ||
Research: at [http://lsiit.u-strasbg.fr LSIIT]: Laboratoire des Sciences de l'Image, de l'Informatique et de la Télédétection | Research: at [http://lsiit.u-strasbg.fr 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 |
Revision as of 16:00, 29 June 2009
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