## Publications and pre-publications :

- Short Paper: Formal Verification of Smart Contracts
*(PLAS 2016)* - Formally Verified Approximations of Definite Integrals
*(ITP 2016)* - A Computer-Algebra-Based Formal Proof of the Irrationality of ζ(3)
*(ITP 2014)*

## Presentations:

- Blockchain day at Inria: Three Projects Around Formal Proofs And Blockchains
- JNCF 2015: Fast Matrix Product Algorithms: From Theory to Practice
- Specfun Seminar, 8 February 2016: Fast Matrix Product Algorithms: From Theory to Practice
- PhD Seminar, Turing building, 12 February 2014: Bitcoin, a decentralized and trustless protocol
- Specfun Seminar, october 2014: Towards a formal certification of approximations of solutions of ODEs in Coq

I was co-responsible for the PhD seminar of the Turing building at Inria Saclay.