Christine Paulin-MohringProfessor at Université Paris-Saclay, member of LMF
Prize awarded by the Academie des sciences
Christine Paulin-Mohring est professeure à l'Université Paris-Sud, membre du Laboratoire de Recherche en Informatique (LRI - CNRS/Université Paris-Saclay). Elle a contribué au développement de l'assistant de preuve Coq.