-
-
Researcher, member of the Gallium team at INRIA Paris-Rocquencourt
Author of the Zenon automatic theorem prover.
email:
damien.doligez-inria.fr
Damien Doligez
INRIA, projet Gallium, bat 14
Domaine de Voluceau
B.P. 105
F-78153 Le Chesnay
France
-
-