Christine Paulin-MohringProfesseure à l'Université Paris-Saclay, membre du LMF
Prix décerné par l'Académie 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.