Senior Research Scientist (DR1) at: INRIA Paris-Rocquencourt BP 105 78153 Le Chesnay Cedex France Bâtiment 8, office 803,  E-mail: francois.fages @ inria.fr http://contraintes.inria.fr/~fages Phone: +33 1 39 63 57 09 Cell: +33 6 82 82 29 37 Fax: +33 1 39 63 54 69

Head of the Contraintes group.

Habilitation Thesis: "Aspects sémantiques et algorithmiques de la déduction automatique", Université Paris VII, Ecole Normale Supérieure, May 1992.

Doctorate Thesis: "Formes canoniques dans les algèbres booléennes et applications à la démonstration automatique en logique du premier ordre", Université Paris VI, June 1983.

Interests

I am interested in Logic and Computation and in the design of high-level modeling/programming languages.

Last softwares:

BIOCHAM
CLPGUI

 I give courses on ... Constraint Programming, and Computational Systems Biology.

at the Master Parisien de Recherche en Informatique (course C2-19) of the Universities of Paris, 
and in various places like the Ecole Jeunes Chercheurs en Programmation, EJCP'2011, EJCP'2006-2005,2003-2002,2000,1998-1995,
or at the European Summer School in Logic, Language and Information ESSLLI 2001, 1997.

In a former life, I used to teach at Ecole Polytechnique, and at Ecole Normale Supérieure.

Member of the Steering Committee of Computational Methods in Systems Biology CMSB conferences

Member of the Scientific Council of Integrative Post-Genomique IPG conferences

Member (past-chairman) of the ERCIM working group on Constraints,

Member of the AFPC (past chairman), ACP,  ALP, EAPLS, ASTI (founder member, past-treasurer).

Extra links