Research

I am member of the Inria quantum Project team Mocqua, Loria. My main research domain is quantum computing and, more specifically, the study of the complexity properties of quantum programs. I am also interested in:

Static analysis and verification
Logic and type systems
Computational models
Quantum programming Languages
Implicit computational complexity

I am the principal investigator (PI) of the Inria associate team TC(Pro)³ (2019-2024) and of the ANR PRCI PREQUEL (2025). I am also member of PEPR EPiQ, the Hybrid Quantum Computing Platform HQI , and of the NEASQC project on next applications of Quantum computing, funded by European Commission REA. Vice-Chair for the HORIZON MSCA call, ENG panel since 2024.

Education and employment:

Associate Professor (MCF HC), Université de Lorraine, 2021-now
HDR, Université de Lorraine, 2020 (Manuscript, Slides)
Délégation Inria, 2019-2021
Délégation CNRS, 2018-2019
Assistant Professor (MCF), Université de Lorraine, 2009-2021
Research fellow, Trinity College, Dublin, 2008-2009
PhD in Computer Science, INPL, 2007
Civil Engineer, Ecole des Mines, INPL, 2004
Master in Computer Science (B), INPL, 2004
Master 1 (Maitrîse) in Mathematics (B), Université Henri Poincaré, 2003
MPSI-MP*, Lycée Victor Hugo, Besançon, 1999-2001
Baccalauréat S, spécialité Mathématiques (TB), Lycée du Parc, Lyon, 1999

News

The paper « Branch sequentilization in quantum polytime », coauthored with Emmanuel Hainry and Mário Silva has been accepted at FSCD 2025.
The paper « Combining quantum and classical control: syntax, semantics and adequacy », coauthored with Kinnari Dave, Louis Lemonnier, and Vladimir Zamdzhiev has been accepted at FoSSaCS 2025.
The paper « Complete and tractable machine-independent characterizations of second-order polytime », coauthored with Emmanuel Hainry, Bruce Kapron and Jean-Yves Marion, has been published in Logical Methods in Computer Science (LMCS), 2025.
I have been appointed PC member of the Computability in Europe 2025 conference and co-organizer, with Georg Moser, of a special session on quantum computing.
I have been appointed as Vice-Chair for the HORIZON MSCA call, ENG panel in 2024.
The paper « Declassification Policy for Program Complexity Analysis », coauthored with Emmanuel Hainry, Bruce Kapron and Jean-Yves Marion has been accepted at LICS 2024.
The paper « On the Hardness of Analyzing Quantum Programs Quantitatively », written with Martin Avanzini, Georg Moser, and Simon Perdrix, has been accepted at the 33rd European Symposium on Programming ESOP 2024.
The paper « A programming language characterizing quantum polynomial time », coauthored with Emmanuel Hainry and Mário Silva has been accepted at FoSSaCS 2023.
The paper « A general noninterference policy for polynomial time », coauthored with Emmanuel Hainry has been accepted and presented at POPL 2023.

Prizes and awards

Best Paper Award of the EATCS at ETAPS 2022
Nomination to the Best Paper Award of the EAPLS at ETAPS 2022
1 year of Délégation CNRS awarded (2018-2019)
2 years of Délégation Inria awarded (2019-2021)
Prime d’Excellence Scientifique 2016-2020
Prime RIPEC C3 2021-2025

Projects

MSCA SE QCOMICAL (2025)
ANR PRCI PREQUEL (PI, 2025)
PEPR EPiQ (2022-2027)
PEPR HQI (2022-2027)
HORIZON EUROPE NEASQC (2020-2024)
Inria associate team TC(Pro)3 (PI, 2019-2024)
ANR SoftQPro (2019-2022)
ANR Elica (2015-2019)
ANR Binsec (2012-2016)
Inria associate team CRISTAL (PI, 2009-2012)
ANR Complice (2008-2013)
ACI Criss (2004-2008)

Some events:

CiE 2025 (PC), co-organizer of the special session on quantum computing.
IFL 2022 (PC)
DICE-FOPARA 2019 (PC)
DICE 2018 (PC)
RAC 2016 (PC)
FOPARA 2015 (PC)
DICE 2014 (PC)
CCA 2013 (OC)

Teaching

I am associate professor at Université de Lorraine, where I am teaching:

Formal languages and computational models (Bachelor, 3rd year)
Computational complexity (Master, 1st year)
Computability theory (Master, 1st year)
Introduction to quantum computing (Master, 1st year)

Students

Postdoc:
- Vladimir Zamdzhiev (PhD Oxford) with Simon Perdrix in 2018.
PhD:
- Kathleen Barsse (master at ENS Paris Saclay) co-advised with Simon Perdrix (2024-2027)
- Jad Issa (master at Université de Paris-Cité and Université Paris Saclay) advised with Christophe Chareton (CEA) (2024-2027)
- Thomas Vinet (master at Telecom Paris) advised with Emmanuel Hainry (2024-2027)
- Kinnari Dave (master at Yale University) advised with Vladimir Zamdzhiev (2022-2025)
- Mário Silva (master at Instituto Superior Técnico, Lisboa) advised with Emmanuel Hainry (2021-2025)
- Pierre Mercuriali (master at UFR MI, Université de Lorraine) co-advised with Miguel Couceiro (2016-2020)
- Thanh Dinh Ta (master at Université Claude Bernard, Lyon) co-advised with Jean-Yves Marion (2011-2013)

Master 2:
- Kathleen Barsse (ENS Paris Saclay) co-advised with Simon Perdrix in 2023
- Nishigandha Yadav (FST UL) co-advised with Emmanuel Hainry in 2021
- Pierre Mercuriali (master at UFR MI, Université de Lorraine) co-advised with Miguel Couceiro in 2016
- Gwendal Carpy (Ecole des Mines) co-advised with Emmanuel Hainry in 2013
- Hugo Férée (ENS Lyon) co-advised with Emmanuel Hainry and Mathieu Hoyrup in 2011
- Thanh Dinh Ta (master at Université Claude Bernard, Lyon, and IFI, Hanoï) co-advised with Jean-Yves Marion in 2011

Master 1:
- Théo Alison (FST UL) co-advised with Emmanuel Hainry in 2020
- Matthias Bertrand (FST UL) co-advised with Emmanuel Hainry in 2020
- Clément Koch (FST UL) co-advised with Emmanuel Hainry in 2020
- Hugo Férée (ENS Lyon) co-advised with Emmanuel Hainry and Mathieu Hoyrup in 2010

Bachelor (3rd year):
- Florent Ferrari (ENS Lyon) co-advised with Emmanuel Hainry and Mário Silva 2024
- Olivier Zeyen (FST UL) co-advised with Emmanuel Hainry in 2019

Responsabilities:

Vice-chair of HORIZON EUROPE MSCA, panel ENG, since 2024
Elected member of the LORIA laboratory council, Université de Lorraine, 2018-2024
Expert and Rapporteur for HORIZON MSCA 2018-2023
Guest editor for TCS special issue on Implicit Computational Complexity, 2018-2020
Elected member of the IDMC council, Université de Lorraine, 2014-2018
Head of the MIAGE bachelor, 2011 to 2018.
Director of the bureautics (C2i) at Université de Nancy, 2009-2011