Marc Pauly
CNRS researcher
(Chargé de Recherches CNRS)
member of the
Logic,
Interaction, Language, and Computation Group
(formerly Applied Logic Group) of
IRIT at
Université Paul Sabatier.
Currently on leave at Stanford University:
Marc's homepage at Stanford
WWW: http://www.irit.fr/~Marc.Pauly