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.
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)
| Subject (surface form when different) | Predicate |
|---|---|
|
Herbrand Award
→
|
notableRecipient |
|
Gérard Huet
→
|
notableStudent |