Team members

Faculty

Associated members

Post-docs

  • Michaël Marcozzi (ERCIM post-doc)
  • Alain Lefèvre (CNAM engineer)
  • Clément Fumex (Inria engineer, ProofInUse project)
  • David Hauzar (Inria engineer, ProofInUse project)

PhD Students

Administrative staff


Former team members

Former Permanent Members

Former Visitors

  • Andrew Tolmach (Digiteo chair)

Former Post-docs

Former PhD students