Difference between revisions of "Jean-Francois Dufourd"
(7 intermediate revisions by 3 users not shown) | |||
Line 3: | Line 3: | ||
==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] |
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 | 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 | + | Research: at [http://lsiit.u-strasbg.fr ICUBE]: Laboratoire des Sciences de l'Ingénieur, de l'Informatique, et de l'Imagerie |
− | |||
== Research == | == Research == | ||
Line 21: | Line 20: | ||
− | == Teaching == | + | == Teaching, until 2011 == |
''Formations'' : Licence d'Informatique, Master Informatique et Sciences de l'Image, Master Ingénierie du Logiciel et des Connaissances | ''Formations'' : Licence d'Informatique, Master Informatique et Sciences de l'Image, Master Ingénierie du Logiciel et des Connaissances | ||
Line 35: | Line 34: | ||
== Management == | == 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 | + | '''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 == | == A brief CV == | ||
− | Since | + | 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], from 1997 to 2004 (2 mandates) | + | * '''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 | * '''Member of''' [http://cnu27.lri.fr/ Comité National des Universités CNU 27ème section] (informatique) in 1998, 1999 and from 2003 to 2006 | ||
Line 67: | Line 66: | ||
==Publications== | ==Publications== | ||
− | < | + | <iframe key="papr" path="?author=Jean-Fran%C3%A7ois+Dufourd&title=&team=&national=&project=&year1=1979&year2=2015#hideMenu" /> |
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
==Contact== | ==Contact== | ||
Line 89: | Line 82: | ||
Tel : +33 (0)3 90.24.45.55 | Tel : +33 (0)3 90.24.45.55 | ||
Fax : +33 (0)3 90.24.44.55 | Fax : +33 (0)3 90.24.44.55 | ||
− | |||
− | [[fr: | + | [[fr:Jean-Francois_Dufourd]] |
Latest revision as of 11:30, 7 January 2021
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)
- Member of 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 Department of Computer science, 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
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