Welcome

Research

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

  • process calculi
  • term rewrite systems
  • object oriented programming
  • functional programming
  • malware analysis
  • static analysis and verification

I am currently member of ANR Elica and I was involved in ACICriss (2004-2008), ANR Complice (2008-2013) and Binsec (2012-2013). 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 and in the OC of CCA 2013.

Teaching

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

  • logic (1st year students)
  • object oriented programming in Java (2nd and 3rd years)
  • mathematics in computer science (Master 1)

I am also teaching:

  • Databases at Institute ISAM-IAE,
  • Computational Complexity at engineering school IGA Rabat (Morocco)
  • Implicit Computational Complexity  at Master 2 in Computer Science (Faculté des Sciences et Techniques).

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

Students

  • phD:
    • Pierre Mercuriali (master at UFR MI, Université de Lorraine)  co-advised with Miguel Couceiro (2016-?)
    • Thanh Dinh Ta (master at Université Claude Bernard, Lyon, and IFI, Hanoï) co-advised with Jean-Yves Marion (2011-2013)
  • Master 2:
    • Pierre Mercuriali (master at UFR MI, Université de Lorraine)  co-advised with Miguel Couceiro in 2016
    • Hugo Férée (ENS Lyon) co-advised with Emmanuel Hainry and Mathieu Hoyrup in 2012
    • Thanh Dinh Ta (master at Université Claude Bernard, Lyon, and IFI, Hanoï) co-advised with Jean-Yves Marion in 2011
    • Gwendal Carpy (Ecole des Mines) co-advised with Emmanuel Hainry in 2013
  • Master 1:
    • Pierre Mercuriali (master at UFR MI, Université de Lorraine)  co-advised with Miguel Couceiro in 2015
    • Hugo Férée (ENS Lyon) co-advised with Emmanuel Hainry and Mathieu Hoyrup in 2011