LAURENT TRILLING
 

Professional address:                                            
Université Joseph Fourier (Grenoble I)                       
IMAG-LSR, Boîte postale 72                                    
38402 St. Martin d'Hères Cedex, France                    
Tel: (33) 76 63 55 68
Fax: (33) 76 63 55 50
E-mail: Laurent.Trilling@imag.fr
http://www-lsr.imag.fr/Les.Personnes/Laurent.Trilling/

I. Personal information

Date and place of birth: February 20, 1941; Tarbes, Hautes-Pyrénées, France

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

III. Employment
 

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
  IV. 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 Bioinformatics
Course in CLP

V. Research 

• 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 ten 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.

• 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), simulation and inference of biological regulation systems by using CLP.