Gilles Dowek
E46385
Gilles Dowek is a French logician and computer scientist known for his influential work in proof theory, type systems, and automated deduction.
All labels observed (1)
| Label | Occurrences |
|---|---|
| Gilles Dowek canonical | 2 |
Statements (42)
| Predicate | Object |
|---|---|
| instanceOf |
French scientist
ⓘ
computer scientist ⓘ human ⓘ logician ⓘ |
| areaOfInfluence |
automated theorem proving
ⓘ
computer science ⓘ formal verification ⓘ mathematical logic ⓘ programming language theory ⓘ |
| countryOfCitizenship | France ⓘ |
| fieldOfWork |
automated deduction
ⓘ
automated reasoning ⓘ formal methods ⓘ logic ⓘ proof assistants ⓘ proof theory ⓘ theoretical computer science ⓘ type systems ⓘ type theory ⓘ |
| hasGender | male ⓘ |
| knownFor |
contributions to automated deduction
ⓘ
contributions to automated reasoning ⓘ contributions to proof assistants ⓘ contributions to proof theory ⓘ contributions to the foundations of mathematics and computer science ⓘ contributions to type systems ⓘ |
| languageOfWorkOrName | French ⓘ |
| notableIdea |
deduction modulo
ⓘ
integration of computation into deduction ⓘ logical frameworks for proof assistants ⓘ type-theoretic foundations of programming languages ⓘ |
| notableWork |
popularization of logic and computer science
ⓘ
work on deduction modulo ⓘ work on proof search ⓘ work on the Calculus of Constructions ⓘ work on the Coq proof assistant ⓘ work on the design of proof assistants ⓘ work on the logical foundations of computer science ⓘ work on type systems for programming languages ⓘ |
| occupation |
author
ⓘ
researcher ⓘ university teacher ⓘ |
Referenced by (2)
Full triples — surface form annotated when it differs from this entity's canonical label.