Paulin-Mohring
E941105
Paulin-Mohring is the surname of French computer scientist Christine Paulin-Mohring, known for her work on the Coq proof assistant and contributions to formal methods.
Observed surface forms (2)
| Surface form | Occurrences |
|---|---|
| Christine Paulin-Mohring | 0 |
| Coq | 0 |
Statements (25)
| Predicate | Object |
|---|---|
| instanceOf |
French person
ⓘ
computer scientist ⓘ interactive theorem prover ⓘ person ⓘ proof assistant ⓘ surname ⓘ |
| basedOn |
calculus of inductive constructions
NERFINISHED
ⓘ
type theory ⓘ |
| countryOfCitizenship | France ⓘ |
| fieldOfWork |
computer science
ⓘ
formal methods ⓘ formal methods ⓘ mathematical logic ⓘ program verification ⓘ |
| hasSurname | Paulin-Mohring NERFINISHED ⓘ |
| knownFor |
Coq proof assistant
NERFINISHED
ⓘ
interactive theorem proving ⓘ type theory ⓘ |
| languageOfOrigin | French ⓘ |
| nativeLanguage | French ⓘ |
| notableWork |
development of the Coq proof assistant
ⓘ
research in formal verification ⓘ |
| occupation |
researcher
ⓘ
university teacher ⓘ |
| usedBy | Christine Paulin-Mohring NERFINISHED ⓘ |
Referenced by (1)
Full triples — surface form annotated when it differs from this entity's canonical label.