Christine Paulin-Mohring

URI: https://gptkb.org/entity/Christine_Paulin-Mohring
GPTKB entity
Statements (21)
Predicate Object
gptkbp:instanceOf gptkb:person
gptkbp:almaMater gptkb:École_normale_supérieure_de_jeunes_filles
gptkbp:awardReceived gptkb:ACM_Software_System_Award
gptkb:Grand_Prix_Inria_–_Académie_des_sciences
gptkbp:birthYear 1962
gptkbp:contributedTo development of the Calculus of Inductive Constructions
gptkbp:doctoralAdvisor gptkb:Gérard_Huet
gptkbp:field gptkb:mathematics
computer science
https://www.w3.org/2000/01/rdf-schema#label Christine Paulin-Mohring
gptkbp:knownFor gptkb:Coq_proof_assistant
gptkbp:nationality gptkb:French
gptkbp:occupation gptkb:mathematician
gptkbp:thesisTitle gptkb:Preuves_et_Types_en_Programmation_Fonctionnelle
gptkbp:workInstitution gptkb:Paris-Saclay_University
gptkb:Université_Paris-Sud
gptkbp:bfsParent gptkb:French_National_Institute_for_Research_in_Computer_Science_and_Automation_(INRIA)
gptkb:Coq_proof_assistant
gptkb:Gérard_Huet
gptkb:Calculus_of_Inductive_Constructions
gptkbp:bfsLayer 6