|
BP 105 Bâtiment 8, office 803, Phone: +33 1 39 63 57 09 |
 |
|
BP 105 Bâtiment 8, office 803, Phone: +33 1 39 63 57 09 |
|
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.
Most of my current work deals with constraint modeling languages, from their fine relationship with mathematical logic, to new execution models and static analysis methods. The main application domains I am investigating are computational systems biology and combinatorial optimization problems.Recent publications and talks , bibliography DBLP, Microsoft Academic.
Last softwares:
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.
My lecture notes
at Ecole Polytechnique have been edited in 1996 in a book in
French, the programs are available from here .
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
Scientifical: