Sites Inria

There are 1 Results with the keyword : "Geroges Gonthier"

Research team

Georges Gonthier joins the SPECFUN team

Charlotte Renauld - 28/10/2016

Since his thesis alongside Gérard Berry, professor at the Collège de France, Georges Gonthier has been exploring the field of computer verification of mathematical theorems. After having worked for the Inria Rocquencourt centre, the Microsoft research laboratory in Cambridge and taken part in the creation of the joint Inria - Microsoft-Research laboratory, Georges Gonthier is joining the SPECFUN team at the Inria Saclay – Île-de-France centre in order to continue his research projects and get back together with the teams with which he has been working for several years.


Home > Centre > Saclay > News > Georges Gonthier rejoint l’équipe SPECFUN