I. Contact information
office: B 231, Pavillon Taillefer/INS3, Hopital Nord, Université Joseph Fourier (Grenoble I)  
adress: lab. TIMC-IMAG (UMR CNRS/UJF 5525), BMC (
Computational and Mathematical Biology) team, 38706 La Tronche cedex ,  France
phone: + 33 4 56 52 00 97

II. Education

Doct. ès-sciences (U. de  Rennes, France, 1976), Doct.-Ing (U. de Grenoble, France, 1967),
Ing. ENSIMAG (École Nationale Supérieure d’Informatique et de Mathématiques Appliquées de Grenoble, 1964).

II. Vitae

1987-present, Professor of Computer Science, Université Joseph Fourier, Grenoble, France
1987-1999, Prof.(part-time), École Normale Supérieure, Lyon, France
1979-1981, Prof.(part-time), École Nationale Supérieure des Télécommunications, Paris, France
1977-1978, Prof., Université de Montréal, Québec, Canada
1970-1987, Prof., Université de Rennes I, France
1976, Prof. (4 m.), École Polytechnique de Lausanne, Switz.
1967-1970, Prof., Université de Montréal
1964-67, Eng., Centre de calcul, Université de Grenoble

III. Teaching experience 

Algorithms and data structures, construction and proof of sequential and parallel programs, formal languages and computability, compilation and implementation of algorithmic languages, high-level programming languages, artificial intelligence (including non-standard logics and automatic theorem proving), logic and constraint programming, bio-informatics.

Course in CLP
Course in Bioinformatics

IV. Research interests

• First interests in i) compiling and high-level languages: conceptual framework for new constructions and creation of a complete Algol68 system with a new technique for compiling and managing memory, ii) artificial intelligence: tools (logic programming, constraint programming), formalisms (non-standard logics) and applications (systems for the automatic processing of classified ads, for assisting in managing and organizing meetings, for the teaching of geometry).

• Last twenty years, areas of interest have been: logic programming with constraints and applications (wokshop scheduling), artificial intelligence and interactive computer-assisted instruction (learning, correction, construction and automatic animation of figures, proof assistants for constructing correct programs), new paradigms for the construction of parallel recursive programs.

• More recent area of interest: bio-informatics, protein-protein interaction in C. elegans, computer processing of data from DNA chip, activation by DNA geometric modulation of the transcription (by CRP). I am presently interested by declarative approaches for analysing biological regulation systems by using logic programming tools like constraint solvers, SAT solvers or  Answer Set Programming. Our goal is to exhibit new functionnalities (mananging incertainty and inconsistency, inference of properties, optimization) and  to apply such approach with a rigourous method to real biological networks (like adhesion between andothelial cells, nutritional stress in E. Coli, segmentation of the early embryo of Drosophila). More

V. External collaborations

Gilles Bernot, Jean-Paul Comet and Adrien Richard (I3S, Nice)

Jacques Cohen (Brandeis University, Mass., USA)

Youssef Hamadi and Lucas Bordeaux, ( Constraint Reasoning Group,  Microsoft Research Laboratory, Cambridge, UK ).

Jacques Nicolas (IRISA, projet Symbiose, Rennes, France)

Torsten Schaub and Martin Gebser (Institur für Informatik,  Universität Postdam)

Denis Thieffry (TAGC, Marseille-Luminy and ENS, Paris) and Claudine Chaouiya  (Instituto Gulbenkian de Ciência, Oeiras, Portugal)

V.  Some recent publications


Family (1998)

last modified: 20-12-2011