|
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 programming languages.
Most of my current work deals with Constraint Programming languages, from their fine relationship with mathematical logic (including linear logic), to new proof methods, type systems and new execution models (combining constraint propagation with state change). The main application domains I am investigating are combinatorial optimization problems, and since 2002 Computational Systems Biology (started with the coordination of the ARC CPBIO).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 (courses C2-4-1 and C2-19) of the
Universities of
Paris,
and in various places like the Ecole Jeunes Chercheurs en
Programmation, EJC'2006, EJC'2005, EJC'2003, EJC'2002,
EJC'2000, EJC'1995-1998,
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: