Background
He was born May 21, 1947 in Aix-les-Bains (France).
Associate Professor computer scientist
He was born May 21, 1947 in Aix-les-Bains (France).
In 1970, 1972, and 1977, he wrote his Master thesis (Drug Enforcement Administration), Doctor of Philosophy thesis (Thèse de 3ème cycle), and Habilitation thesis (Thèse d"état), respectively, at the Université de Paris VI.
From 1967 to 1969 he visited the Ecole Polytechnique (Paris). A. Boudet and North. North. North. pp. North. pp. pp. pp. pp. pp.
He was member of the steering committee of several international computer science conferences: International Conference on Rewriting Techniques and Applications (RTA) 1989-1994, Institute of Electrical and Electronics Engineers Symposium on Logic in Computer Science (LICS) 1993-1997, Conference for Computer Science Logic (Computer Science Laboratory) 1993-1997, International Conference on Principles and Practice of Constraint Programming (Communist Party) since 1994, and Federated Logic Conference (FLoC) 1995-1999. Since 1997, he is member of the EATCS council.