I am currently a research engineer in
the QAT joint research team
between ENS
and 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
measurement-based quantum computing (MBQC).
-
Veriphix
-
a Python library for delegated and verified blind quantum
computing (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
-
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]