About: Christine Paulin-Mohring

Facets (new session)
Description
Metadata
Settings
- Rule:
- Inverse Functional Properties:
- "Same As":

About: Christine Paulin-Mohring Goto Sponge NotDistinct Permalink

An Entity of Type : wikidata:Q901, within Data Space : dbpedia.demo.openlinksw.com associated with source document(s)
QRcode icon

http://dbpedia.demo.openlinksw.com/describe/?url=http%3A%2F%2Fdbpedia.org%2Fresource%2FChristine_Paulin-Mohring&invfp=IFP_OFF&sas=SAME_AS_OFF

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.

Attributes	Values
rdf:type	Thing foaf:Person person dul:NaturalPerson Eukaryote Person Human Animal animal eukaryote scientist species schema:Person Scientist
rdfs:label	Christine Paulin-Mohring (en) Christine Paulin-Mohring (de) Christine Paulin-Mohring (fr) Christine Paulin-Mohring (pt)
rdfs:comment	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. (en) Christine Paulin-Mohring (* 31. Mai 1962) ist eine französische Mathematikerin und Informatikerin. Sie entwickelte mit anderen die Coq-Software, eine Software zum maschinengestützten Beweisen. (de) Christine Paulin-Mohring, née le 31 mai 1962, est mathématicienne et informaticienne française. Elle développe l'assistant de preuve Coq. (fr) Christine Paulin-Mohring (1962) é uma matemática e cientista da computação francesa, professora da Universidade Paris-Saclay, conhecida pelo desenvolvimento do teorema interativo de prova Coq. (pt)
foaf:name	Christine Paulin-Mohring (en)
name	Christine Paulin-Mohring (en)
dcterms:subject	French women computer scientists 1962 births Living people Mathematical logicians 20th-century French women 21st-century French women 21st-century French mathematicians French computer scientists 20th-century women mathematicians 21st-century women mathematicians Members of Academia Europaea 20th-century French mathematicians Women logicians Paris-Saclay University people
Wikipage page ID	58716885 (xsd:integer)
Wikipage revision ID	1116802890 (xsd:integer)
Link from a Wikipage to another Wikipage	French women computer scientists 1962 births Living people Coq Mathematical logic Mathematics Computer science Computer scientist Mathematical logicians 20th-century French women 21st-century French women 21st-century French mathematicians Academia Europaea French computer scientists Paris-Saclay University Paris Diderot University Journal of Formalized Reasoning Gérard Huet Thierry Coquand Association for Computing Machinery ACM Software System Award 20th-century women mathematicians 21st-century women mathematicians Members of Academia Europaea 20th-century French mathematicians Women logicians Paris-Saclay University people French Academy of Sciences Paris-Saclay Faculty of Sciences
Link from a Wikipage to an external page	https://www.lri.fr/~paulin/index.html
sameAs	Christine Paulin-Mohring Christine Paulin-Mohring Christine Paulin-Mohring Christine Paulin-Mohring Christine Paulin-Mohring Christine Paulin-Mohring Christine Paulin-Mohring Christine Paulin-Mohring Christine Paulin-Mohring
work institutions	Paris-Saclay University
dbp:wikiPageUsesTemplate	dbt:Authority_control dbt:Ill dbt:Reflist dbt:Short_description dbt:When dbt:MathGenealogy dbt:Birth_year dbt:Infobox_scientist dbt:Ambig
alma mater	Paris Diderot University
field	Mathematics Computer science
image size	150 (xsd:integer)
known for	Coq
has abstract	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. (en) Christine Paulin-Mohring (* 31. Mai 1962) ist eine französische Mathematikerin und Informatikerin. Sie entwickelte mit anderen die Coq-Software, eine Software zum maschinengestützten Beweisen. (de) Christine Paulin-Mohring, née le 31 mai 1962, est mathématicienne et informaticienne française. Elle développe l'assistant de preuve Coq. (fr) Christine Paulin-Mohring (1962) é uma matemática e cientista da computação francesa, professora da Universidade Paris-Saclay, conhecida pelo desenvolvimento do teorema interativo de prova Coq. (pt)
doctoral advisor	Gérard Huet
prizes	ACM Software System Award

Faceted Search & Find service v1.17_git139 as of Feb 29 2024

Alternative Linked Data Documents: ODE Content Formats:

RDF

ODATA

Microdata

About

OpenLink Virtuoso version 08.03.3330 as of Mar 19 2024, on Linux (x86_64-generic-linux-glibc212), Single-Server Edition (378 GB total memory, 59 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software