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 currently member of PEPR EPiQ, and of the NEASQC project on next applications of Quantum computing, funded by European Commission REA. I was involved in ACI Criss (2004-2008), ANR Complice (2008-2013), ANR Binsec (2012-2013), ANR Elica (2015-2019), and ANR SoftQPro. I used to be the principal investigator of the Inria associate team Cristal (2009-2012).

I was in the PC of DICE 2014, FOPARA 2015, RAC 2016, DICE 2018, DICE-FOPARA 2019  and in the OC of CCA 2013.

I was guest editor with Martin Avanzini of a TCS special issue on Implicit Computational Complexity.

I am the principal investigator of the Inria associate team TC(Pro)³ (2019-2024).

My Habilitation Thesis has been defended the 19th of October 2020 (online) (Manuscript, Slides).

News

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.

The paper « Complete and tractable machine-independent characterizations of second-order polytime », coauthored with Emmanuel Hainry, Bruce Kapron and Jean-Yves Marion, accepted at FoSSaCS 2022 has received the Best Paper Award of the EATCS at ETAPS 2022 and was nominated for the Best Paper Award of the EAPLS.

The paper « Quantum Expectation Transformers for Cost Analysis », written with Martin Avanzini, Georg Moser, Simon Perdrix, and Vladimir Zamdzhiev has been accepted at LICS 2022.

I am in the PC of IFL 2022 (The 34th Symposium on Implementation and Application of Functional Languages).

Teaching

I am associate professor at UFR Mathématiques et Informatique, Université de Lorraine where I am teaching:

• Logic (Bachelor, 1st year)
• UML and object oriented design (Master, 1st year)
• Computer architecture (Bachelor, 2nd year)
• Computational complexity (Bachelor, 3rd year)

I was formerly director of the Miage licence (bachelor), UFR MI (2011-2018) and director of the c2i, Nancy 2 University (2009-2011) and member of Opération Postes (2009-2012).

Students

• Postdoc:
  • Vladimir Zamdzhiev (PhD Oxford) with Simon Perdrix in 2018.
• PhD:
  • 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-2024)
  • 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, and IFI, Hanoï) 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):
  • Olivier Zeyen (FST UL) co-advised with Emmanuel Hainry in 2019