[2] In 1996, Doligez was part of the team that built the first version of OCaml,[3] and has been a core maintainer of the language since (as of April 2023).

[4] In 1994, Hal Finney issued a challenge[5] on the cypherpunk mailing to read an encrypted SSLv2 session.

Doligez used spare computers at Inria, ENS and École polytechnique to break it after scanning half the key space in 8 days.

[7][8] Since 2006, Doligez has co-developed the Zenon [9] theorem prover for first-order classic logic with equality.

The environment is based on a functional language with some object-oriented features, allowing programmers to write the formal specification and the proofs of their code within the same setting.