Difference between revisions of "Jean-Francois Dufourd"
Jump to navigation
Jump to search
| Line 10: | Line 10: | ||
== Recherche == | == Recherche == | ||
| − | ''Domain'': | + | ''Domain'': Computer Science and applications to geometry and graphics |
| − | ''Key-words'': Geometric modelling and computational geometry, Formal specifications and proofs, Proof | + | ''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: | ''Current work'': Specifications and proofs with Coq in topology et geometry: | ||
| − | * in combinatorial topology: hypermaps, genus, planarity, discrete Jordan curve theorem, | + | * in combinatorial topology: hypermaps, genus, planarity, discrete Jordan curve theorem, high-level operations |
* in computational geometry: convex hulls, triangulations and manipulations, Delaunay triangulations | * 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 [http://dpt-info.u-strasbg.fr/~jfd page in Department of Computer Science]. | ||
Revision as of 16:06, 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: 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.