Damien Doligez

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

Author of the Zenon automatic theorem prover.

publications

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
France


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