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