We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
Works for KTH Royal Institute of Technology KTH Royal Institute of Technology
Works for INRIA INRIA
Works for Christian Montanari Consulting Christian Montanari Consulting
Is from Bordeaux Bordeaux
Works for Inria Inria
Joined on Sep 26, 2017
Works for @coq @math-comp @LPCIC @coq @math-comp @LPCIC
Works for CNRS, ENS de Lyon, UCBL, LIP CNRS, ENS de Lyon, UCBL, LIP
Joined on Oct 27, 2017