Associate professor, HDR

Habilitation thesis

Defense the 19th of October 2020 (online) (Manuscript, Slides)

Research

I am member of the Inria Project team Mocqua, Loria. My main research domain is implicit computational complexity whose aim is to study machine-independent program complexity. I am also interested in:

  • Static analysis and verification
  • Logic and type systems
  • Computational models
  • Programming Languages
  • Quantum computations

I am currently member of ANR SoftQPro 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) and ANR Elica (2015-2019). I used to be the principal investigator of the Inria associate team Cristal(2009-2012) and I am the principal investigator of the Inria associate team TC(Pro)3(2019-2022).

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

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

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

  • PhD:
    • Mario 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:
    • 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