Robuta

https://inria.fr/fr/thierry-coquand-chaire-informatique-sciences-numerique-college-france Thierry Coquand, nouveau titulaire de la chaire Informatique et sciences numérique au Collège de... de la thierry coquand nouveau titulaire