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)3 (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 « Complete and tractable machine-independent characterizations of second-order polytime », coauthored with Emmanuel Hainry, Bruce Kapron and Jean-Yves Marion, accepted at Logical Methods in Computer Science (LMCS), Nov. 2024.
- 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.
- 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
- 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