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
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