Le magazine “Chercheurs européens” de l’Université Bretagne Loire a rencontré Nicolas Tabareau, chargé de recherche Inria au sein de l’équipe Gallinette, afin de l’interroger sur son heureuse expérience de candidat à l’ERC Starting Grants avec son projet CoqHoTT.
Retrouvez son interview (pdf) en page 11 du N° 5 de juillet 2018.
