Associate professor HDR

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:

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