I am currently the head of engineering
(RSED)
at Inria Paris.
I am the software platform correspondent for the
DIENS
(UMR 8548) at the
CNRS.
Software
Quantum computing libraries
-
Graphix
-
a Python library for compiling and simulating quantum programs with
MBQC.
-
Veriphix
-
a Python library for VBQC.
OCaml libraries
-
Pyml
-
a library for interfacing OCaml with the Python interpreter.
-
Clangml
-
a library for interfacing OCaml with the Clang front-end.
-
Metapp
-
a preprocessor for OCaml that uses OCaml as a preprocessing language.
Publications
-
Mateo Uldemolins, Pranav Nair, Emlyn Graham, Shinichi Sunami, Thierry Martinez, Maxime Garnier,
Graphix: A software framework for Measurement-Based Quantum Computation
(arxiv 2026)
[link]
-
Wassim Ait-Moussa, Pierre Boutillier, Hugo Herbelin, Meven Lennon-Bertrand, Thierry Martinez, Gabriel Scherer,
Compilation of dependent pattern-matching using small inversion
(TYPES 2026)
[link]
-
Sami Abdul Sater, Maxime Garnier, Thierry Martinez, Harold Ollivier, Ulysse Chabaud,
Efficient certification of intractable quantum states with few Pauli measurements. (arxiv 2025)
[link]