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 |
How this entity was disambiguated
This entity first appeared as the object of triple T364406 — resolving that mention is where its identity was fixed. The disambiguator weighed these candidate entities and picked the highlighted one (or “None”, minting a new entity). This is how homonymy is resolved: the same surface form can point to different entities.
NED1
Entity disambiguation (via context triple)
gpt-5-mini-2025-08-07
Target entity: Gilles Dowek Context triple: [Herbrand Award, notableRecipient, Gilles Dowek]
-
A.
Robin Milner
Robin Milner was a pioneering British computer scientist known for his foundational work in programming language theory, type systems, and process calculi, including the development of ML and the π-calculus.
-
B.
Leslie Lamport
Leslie Lamport is an American computer scientist renowned for his foundational work in distributed systems, concurrency, and formal methods, including the development of the Paxos consensus algorithm and the LaTeX document preparation system.
-
C.
Hal Abelson
Hal Abelson is an American computer scientist and MIT professor known for his pioneering work in computer science education, open knowledge, and software freedom.
-
D.
Alonzo Church
Alonzo Church was an American mathematician and logician best known for developing lambda calculus and making foundational contributions to computability theory and mathematical logic.
-
E.
Robert Cailliau
Robert Cailliau is a Belgian computer scientist best known for co-developing the World Wide Web alongside Tim Berners-Lee at CERN.
- F. None of above. chosen
- G. Unsure - the case is ambiguous/there is not enough information to decide.
NED2
Entity disambiguation (via description)
gpt-5-mini-2025-08-07
Target entity: Gilles Dowek Target entity description: Gilles Dowek is a French logician and computer scientist known for his influential work in proof theory, type systems, and automated deduction.
-
A.
Robin Milner
Robin Milner was a pioneering British computer scientist known for his foundational work in programming language theory, type systems, and process calculi, including the development of ML and the π-calculus.
-
B.
Leslie Lamport
Leslie Lamport is an American computer scientist renowned for his foundational work in distributed systems, concurrency, and formal methods, including the development of the Paxos consensus algorithm and the LaTeX document preparation system.
-
C.
Hal Abelson
Hal Abelson is an American computer scientist and MIT professor known for his pioneering work in computer science education, open knowledge, and software freedom.
-
D.
Alonzo Church
Alonzo Church was an American mathematician and logician best known for developing lambda calculus and making foundational contributions to computability theory and mathematical logic.
-
E.
Robert Cailliau
Robert Cailliau is a Belgian computer scientist best known for co-developing the World Wide Web alongside Tim Berners-Lee at CERN.
- F. None of above. chosen
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 ⓘ |
How these facts were elicited
The pipeline generated the facts above by prompting gpt-5.1 with this entity's name + description and the instruction below.
Instruction
You are a knowledge base construction expert. Given a subject entity and a description of it, return factual statements that you know for the subject as a JSON list of dictionaries(triples), where keys must be "subject", "predicate" and "object". The number of facts may be very high, between 25 to 50 or more, for very popular subjects. For less popular subjects, the number of facts can be very low, like 5 or 10. # Requirements - If you don't know the subject at all, return an empty list. - If the subject is not a named entity, return an empty list. - Include at least one triple where predicate is "instanceOf". - Do not get too wordy. - Separate several objects into multiple triples with one object.
Input
Subject: Gilles Dowek Description of subject: Gilles Dowek is a French logician and computer scientist known for his influential work in proof theory, type systems, and automated deduction.
Referenced by (2)
Full triples — surface form annotated when it differs from this entity's canonical label.