Soutenance d’HDR d’Assia MAHBOUBI (équipe Gallinette)
5 janvier 2021 @ 14 h 00 min - 16 h 00 min
Assia Mahboubi, chercheuse Inria au sein de l’équipe Gallinette, soutiendra son habilitation à diriger des recherches intitulée « Machine-checked computer-aided mathematics »
mardi 5 janvier 2021 à 14h dans l’amphithéâtre du bâtiment 34 sur le site FST.
L’accès à l’amphithéâtre étant soumis aux contraintes sanitaires en vigueur, la soutenance sera retransmise en direct à l’adresse suivante :
https://stream.lifesizecloud.com/extension/4452281/cfe3f6b0-d21f-4212-9bbf-61dd75f8a6bc
Composition du jury:
– Sylvie Boldo, DR Inria — Inria Saclay Île de France, Université Paris – Saclay, rapporteuse
– Thierry Coquand, Professeur — University of Gothenburg, rapporteur
– Larry Paulson, Professeur — Cambridge University, rapporteur
– Yves Bertot, DR Inria — Inria Sophia Antipolis Méditerranée, président
– Florent Hivert, Professeur — Université Paris – Saclay, examinateur
– Sébastien Gouëzel, DR CNRS — Université de Rennes 1, examinateur
– Nicolas Tabareau, DR Inria — Inria Rennes Bretagne Atlantique, Université de Nantes, IMT, examinateur
Le manuscrit est disponible à l’adresse : http://people.rennes.inria.fr/Assia.Mahboubi/assia_hdr_thesis.pdf
