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