BabelNet

bn:23380950n

Noun Named Entity

No term available

Christine Paulin-Mohring is a mathematical logician and computer scientist, and Professor Faculté des Sciences at Paris-Saclay University, best known for developing the interactive theorem prover Coq. Wikipedia

Relations

Sources

IS A

إنسان

AWARD RECEIVED

جائزة نظام برمجيات ACM

Michel Monpetit Prize

COUNTRY OF CITIZENSHIP

DOCTORAL ADVISOR

EDUCATED AT

EMPLOYER

FAMILY NAME

GIVEN NAME

LANGUAGES SPOKEN, WRITTEN OR SIGNED

MEMBER OF

OCCUPATION

SEX OR GENDER