Christine Paulin-Mohring
Christine Paulin-Mohring ( born 1962 ) is a mathematical logician and computer scientist , and Professor at Paris-Saclay University , best known for developing the interactive theorem prover Coq . 
<triplet> Christine Paulin-Mohring <subj> computer scientist <obj> occupation