Damien Doligez

Researcher, member of the Gallium team at INRIA Paris-Rocquencourt

Author of the Zenon automatic theorem prover.


previous version of this page

email: damien.doligez-inria.fr

Damien Doligez
INRIA, projet Gallium, bat 14
Domaine de Voluceau
B.P. 105
F-78153 Le Chesnay

fight spam - Best Viewed With Any Browser - Valid HTML 4.0!