next up previous contents
Next: Activité scientifique des équipes Up: Table des matières Previous: Message du directeur

Présentation de l'unité

Conseil de Laboratoire au 1er janvier 1997

Equipes de recherche 1994-1997

Groupe de Recherche en Complexité et Cryptographie

Lambda-calcul typé et langages fonctionnels

Sémantique et Interprétation Abstraite

Langages Logiques, Contraintes et Optimisation

Optimisation et Algorithmique Géométriques
Géométrie, Combinatoire et Algorithmes

Michel Deza, Directeur de recherche CNRS
Responsable du thème et Algorithmique Géométriques
Michel Pocchiola, Maître de conférences ENS
Responsable du thème et Algorithmique Géométriques jusqu'au 18 février 97 puis responsable du thème éométrie, Combinatoire et Algorithmes
Monique Laurent, Chargée de recherche CNRS, mise à disposition 9/96-8/97 puis détachement au CWI, Amsterdam jusqu'au 9/99
Responsable du thème éométrie, Combinatoire et Algorithmes depuis le 18 février 97

Logique et Physique

Spécifications algébriques et Programmation logique 1990-1996


next up previous contents
Next: Activité scientifique des équipes Up: Table des matières Previous: Message du directeur

Louis.Granboulan@ens.fr