Renaud Vilmart

Renaud Vilmart is a researcher at LMF (Laboratoire Méthodes Formelles), part of Inria Saclay, affiliated with Université Paris-Saclay, CNRS, and ENS Paris-Saclay. He holds an Inria Starting Faculty Position (ISFP), placing him in a research-intensive faculty role. He is actively involved in the scientific committee of Inria Saclay and co-supervises the Groupe de Travail Informatique Quantique (GTIQ) under the GdR-IFM.

His research focuses on quantum computing, particularly on the ZX-Calculus—a graphical language rooted in category theory that enables visual reasoning about quantum processes. This formalism unifies quantum circuits and measurement-based models, offering intuitive tools for verification and optimization. His work addresses foundational questions such as the completeness of the ZX-Calculus with respect to quantum mechanics.

The 15 most recent articles reflect a strong trend in formal methods for quantum computing, with emphasis on diagrammatic reasoning, categorical semantics, and completeness proofs. Key topics include stabilizer theory, Clifford+T circuits, fermionic circuits, and scalable extensions of the ZX-Calculus. These publications demonstrate a deep integration of logic, algebra, and quantum theory.

His scientific achievements have been recognized with:

• Kleene Award for best student paper at LiCS (Logics in Computer Science)
• Accessit (honorable mention) for the Gilles Kahn Award from the Société Informatique de France

He is actively involved in mentoring and academic leadership through co-supervising GTIQ and serving on the Inria Saclay scientific committee. Though no specific grants are listed, his ISFP position is typically grant-funded, indicating sustained research support. He contributes significantly to education through teaching in the QDCS and QMI master’s programs and the ARTeQ year, focusing on advanced complexity and quantum computing topics.

His research is conducted within the LMF (Laboratoire Méthodes Formelles), a collaborative lab between Inria, CNRS, and ENS Paris-Saclay, which fosters interdisciplinary work in formal methods and theoretical computer science.