Team IGG : Computer Graphics and Geometry

Difference between revisions of "Jean-Francois Dufourd"

From Team IGG : Computer Graphics and Geometry
Jump to navigation Jump to search
 
(21 intermediate revisions by 3 users not shown)
Line 1: Line 1:
 +
[[Image:jfd.jpg|200px|right]]
 +
 
==Functions==
 
==Functions==
  
−
Professor in Computer Science at [http://www.unistra.fr/ Strasbourg University, France]
+
Professor Emeritus in Computer Science at [http://www.unistra.fr/ Strasbourg University, France]
−
 
 
−
Teatching: at [http://dpt-info.u-strasbg.fr/ Dep. of Computer Science], [http://mathinfo.unistra.fr/page.php UFR de Mathématique et Informatique], Collégium Sciences
 
  
−
Research: at [http://lsiit.u-strasbg.fr LSIIT]: Laboratoire des Sciences de l'Image, de l'Informatique et de la Télédétection
+
Teaching: at [http://dpt-info.u-strasbg.fr/ Dep. of Computer Science], [http://mathinfo.unistra.fr/page.php UFR de Mathématique et Informatique], Collégium Sciences
  
 +
Research: at [http://lsiit.u-strasbg.fr ICUBE]: Laboratoire des Sciences de l'Ingénieur, de l'Informatique, et de l'Imagerie
  
−
== Recherche ==
+
== Research ==
  
−
''Domain'': Geometrical and Graphical Computer Science
+
''Domain'': Computer Science and applications to geometry and graphics
  
−
''Key-words'': Geometric modelling and computational geometry, Formal specifications and proofs, Proof helping with the Coq system
+
''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, higl level operations
+
* 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, until 2011 ==
 +
 +
''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].
 +
 +
== Management ==
 +
 +
'''Head of Operation 3''' : Specifications and proofs in geometry in the [http://lsiit.u-strasbg.fr/igg-fr IGG] Informatique Géométrique et Graphique team of ICUBE
 +
 +
== A brief CV ==
 +
 +
Since 1981 : '''Professor in Computer Science''' at Strasbourg University, in Classe Exceptionnelle since 2000, Emeritus since 2011
 +
 +
* '''Director of''' [http://lsiit.u-strasbg.fr/ LSIIT],, UMR CNRS-UdS 7005 from 1997 to 2004 (2 mandates)
 +
 +
* '''Member of''' [http://cnu27.lri.fr/ 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''' [http://dpt-info.u-strasbg.fr/ Department of Computer science], [http://mathinfo.unistra.fr/page.php 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==
 +
<iframe key="papr" path="?author=Jean-Fran%C3%A7ois+Dufourd&title=&team=&national=&project=&year1=1979&year2=2015#hideMenu" />
 +
 +
==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
 +
 +
[[fr:Jean-Francois_Dufourd]]

Latest revision as of 11:30, 7 January 2021

Jfd.jpg

Functions

Professor Emeritus in Computer Science at Strasbourg University, France

Teaching: at Dep. of Computer Science, UFR de Mathématique et Informatique, Collégium Sciences

Research: at ICUBE: Laboratoire des Sciences de l'Ingénieur, de l'Informatique, et de l'Imagerie

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, until 2011

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 ICUBE

A brief CV

Since 1981 : Professor in Computer Science at Strasbourg University, in Classe Exceptionnelle since 2000, Emeritus since 2011

  • Director of LSIIT,, UMR CNRS-UdS 7005 from 1997 to 2004 (2 mandates)
  • 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 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

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
Retrieved from "https://igg.icube.unistra.fr/en/index.php?title=Jean-Francois_Dufourd&oldid=3622"