G. Gonthier est Maître de Conférence à l'École Polytechnique. Il dispense le cours de tronc commun d'informatique à deux petites classes.
Elle anime à l'Université Paris 6, en collaboration avec V. Donzeau-Gouge Viguié (CNAM), un groupe de recherche sur l'utilisation des systèmes d'aide à la preuve (Coq, PVS, B) dans la spécification et la programmation.