CV

Previous Positions

• DEC PRL (Digital Paris Research Laboratory), Member of Research Staff, 1992-94.
  Programming Language and System LIFE.
• University of Paris 7, LITP (Laboratoire Informatique Theorique Programmation, now: LIAFA), Associate Professor (Maitre de Conferences), 1989-92
• University of California at Berkeley, Postdoc, 1988-89

Visiting Positions

• Researcher at Microsoft Research, Redmond WA, 2000-01.
  SLAM project.
• Visiting Professor at Ecole Normale Superieure (ENS), Paris, 2000.
• Visiting Professor at University of Nice, ESSI Lab. 1995.
• Consultant at MCC, Austin, Texas. 1987.
• Visiting PhD Student at Brown University, Providence, Rhode Island. University Fellowship 1985/86.

Degrees

• Habilitation, University of Paris 7, January 1995
• Doctorate, University of Paris 7, February 1989; Thesis on Tree Automata. Supervisor Maurice Nivat
• Diplom, University of Münster, June 1985; Thesis on Normed Networks. Supervisor Dieter Rödding

ESPRIT Projects

• Principal Investigator in BRA ACCLAIM on Concurrent Constraint Programming Languages
• Principal Investigator in WG Contessa on Constraints and Databases