Jean-François DUFOURD

Professor in Computer Science, Université de Strasbourg, UFR de Mathématique et d'Informatique, Département d'Informatique

LSIIT (Laboratoire des Sciences de l'Image, de l'Informatique et de la Télédétection)
Pôle Technologique, boulevard Sébastien Brant, BP 10413, F67412 ILLKIRCH Cédex, 
Tel: (+33) 68 85 45 55, (+33) 68 85 44 56, Fax: (+33) 68 85 44 59
Mail: jfd@unistra.fr 

  Director of LSIIT (UMR ULP-CNRS 7005), from 1997 to 2004.

  Head of the research Operation 3 "Specifications and Proofs in Geometry" in the "Computer Science in Geometry and Graphics (IGG)" team.

  Brief CV.

 

 

RESEARCH

  Key-words: formal specification-programmimg methodology-geometric modeling-geometric constructions-automated deduction.

  Current work: Formal specifications of geometric universes - Automation of geometrical constructions - Computer-aided proofs.

  Recent publications

TEACHING

  Levels: Licence, Master 2 R et P, Informatique.

  Domains: Algorithms and programming, logics, formal specifications, computer-aided proofs, applications in geometry.

  Polys: Lecture Notes and Exercices