Christine Paulin-Mohring

URI: https://gptkb.org/entity/Christine_Paulin-Mohring

GPTKB entity

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
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
gptkbp:bfsLayer	6
https://www.w3.org/2000/01/rdf-schema#label	Christine Paulin-Mohring