Yves Bertot
E941109
Yves Bertot is a French computer scientist known for his work on formal methods and the Coq proof assistant.
Observed surface forms (1)
| Surface form | Occurrences |
|---|---|
| Interactive Theorem Proving and Program Development | 0 |
Statements (37)
| Predicate | Object |
|---|---|
| instanceOf |
book
ⓘ
computer scientist ⓘ person ⓘ researcher ⓘ |
| academicDiscipline |
formal verification
ⓘ
software engineering ⓘ |
| affiliation | Inria Sophia Antipolis – Méditerranée research center NERFINISHED ⓘ |
| author |
Pierre Castéran
NERFINISHED
ⓘ
Yves Bertot NERFINISHED ⓘ |
| coAuthor | Pierre Castéran NERFINISHED ⓘ |
| continentOfCitizenship | Europe ⓘ |
| contributedTo | development of the Coq system ⓘ |
| countryOfEmployer | France NERFINISHED ⓘ |
| employer | Inria NERFINISHED ⓘ |
| fieldOfWork |
computer science
ⓘ
formal methods ⓘ interactive theorem proving ⓘ program verification ⓘ |
| gender | male ⓘ |
| hasResearchInterest |
certified programming
ⓘ
proof assistants ⓘ semantics of programming languages ⓘ type theory ⓘ |
| hasRole |
Coq community member
ⓘ
Coq developer ⓘ |
| knownFor |
formal verification
ⓘ
work on the Coq proof assistant ⓘ |
| languageOfWorkOrName |
English
ⓘ
French ⓘ |
| mainSubject |
Coq proof assistant
NERFINISHED
ⓘ
interactive theorem proving ⓘ |
| nationality | French ⓘ |
| notableWork |
Coq proof assistant
NERFINISHED
ⓘ
Interactive Theorem Proving and Program Development NERFINISHED ⓘ |
| occupation |
author
ⓘ
research scientist ⓘ |
| workLocation | Sophia Antipolis NERFINISHED ⓘ |
Referenced by (1)
Full triples — surface form annotated when it differs from this entity's canonical label.