Projet Loco

previous up next contents
Précédent : Projet LOCO, Programmation en LOgique Remonter : Projet LOCO, Programmation en LOgique Suivant : Présentation générale et objectifs


Composition de l'équipe



Responsables Scientifiques
Philippe Codognet [CR, INRIA]
Gérard Ferrand [professeur, Université d'Orléans]


Responsable Permanent
Pierre Deransart [DR, INRIA]


Assistante de Projet
Josy Baron [AST, partagée avec ATOLL et GENOME]


Personnel Orléans

Frédéric Benhamou [maître de Conférence, Université d'Orléans, jusqu'au 01.09.97]
Michel Bergère [maître de Conférence, Université d'Orléans]
AbdelAli Ed-Dbali [maître de Conférence, Université d'Orléans]
Arnaud Lallouet [maître de Conférence, Université d'Orléans, depuis le 01.09.97]
François Le Berre [professeur, Université d'Orléans]
Bernard Malfon [professeur enseignement secondaire, Université d'Orléans]

Ingénieurs experts
Pascal Chambre [du 01.03.97 au 31.05.97, à mi-temps]
Christophe Aillaud [à partir du 01.09.97]


Chercheurs invités
José de Siqueira [boursier CNPq, Université Féderale de Minas Gerais, Brésil, jusqu'au 31.06.1997]
Hoon Hong [Professeur au RISC Institute de l'Université de Linz, Autriche, du 15.06.1997 au 15.07.1997]


Chercheurs post-doctoraux
Jean-Hugues Réty [boursier HCM, Université de Namur, Belgique]
Alexandre Tessier [boursier INRIA, à partir du 15.09.97]


Chercheurs doctorants
Pascal Chambre [boursier INRIA jusqu'au 31.02.97]
Yan Georget [boursier DRET, INRIA]
Laurent Granvilliers [boursier MENESR, Université d'Orléans]
Alexandre Tessier [boursier MENESR, Université d'Orléans, jusqu'au 31.08.97]
Frédéric Goualard [boursier MENESR, Université d'Orléans]
Nicolas Romero [boursier MENESR, Université d'Orléans, à partir du 01.09.97]
Ligia Ferreira [Université d'Evora, Portugal, à partir du 01.09.97]


Stagiaires
Nadine Richard [stagiaire DESS, Université de Paris 6, du 01.05.97 au 31.09.97]
Khaled El Qorchi [stagiaire CNAM, Orléans]
Pierre Hugot [stagiaire DEA]


Collaborateurs Extérieurs
Frédéric Benhamou [professeur, Université de Nantes à partir du 01.09.97]
Daniel Diaz [maître de Conférence, Université de Paris-I]



previous up next contents Précédent : Projet LOCO, Programmation en LOgique Remonter : Projet LOCO, Programmation en LOgique Suivant : Présentation générale et objectifs