Gérard Berry
E892873
Gérard Berry is a prominent French computer scientist known for his pioneering work in programming languages, formal methods, and synchronous programming.
All labels observed (1)
| Label | Occurrences |
|---|---|
| Gérard Berry canonical | 1 |
How this entity was disambiguated
This entity first appeared as the object of triple T10895883 — 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: Gérard Berry Context triple: [CNRS Gold Medal, notableRecipient, Gérard Berry]
-
A.
Bertrand Serlet
Bertrand Serlet is a French software engineer best known for his leadership role in developing macOS at Apple after previously working on NeXTSTEP with Steve Jobs.
-
B.
Frédéric Boissonnas
Frédéric Boissonnas was a pioneering Swiss photographer renowned for his early 20th-century landscape and travel photography, particularly his influential work documenting Greece and its mountains.
-
C.
Jean-Paul Viguier
Jean-Paul Viguier is a prominent French architect known for his contemporary urban projects and innovative public spaces.
-
D.
Jean-Luc Perrin
Jean-Luc Perrin is a French mathematician known for his contributions to number theory and arithmetic geometry.
-
E.
Gérard Darmon
Gérard Darmon is a French-Moroccan actor known for his distinctive voice and roles in popular French films such as "La Cité de la peur" and "Astérix & Obélix: Mission Cléopâtre."
- 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: Gérard Berry Target entity description: Gérard Berry is a prominent French computer scientist known for his pioneering work in programming languages, formal methods, and synchronous programming.
-
A.
Bertrand Serlet
Bertrand Serlet is a French software engineer best known for his leadership role in developing macOS at Apple after previously working on NeXTSTEP with Steve Jobs.
-
B.
Frédéric Boissonnas
Frédéric Boissonnas was a pioneering Swiss photographer renowned for his early 20th-century landscape and travel photography, particularly his influential work documenting Greece and its mountains.
-
C.
Jean-Paul Viguier
Jean-Paul Viguier is a prominent French architect known for his contemporary urban projects and innovative public spaces.
-
D.
Jean-Luc Perrin
Jean-Luc Perrin is a French mathematician known for his contributions to number theory and arithmetic geometry.
-
E.
Gérard Darmon
Gérard Darmon is a French-Moroccan actor known for his distinctive voice and roles in popular French films such as "La Cité de la peur" and "Astérix & Obélix: Mission Cléopâtre."
- F. None of above. chosen
Statements (46)
| Predicate | Object |
|---|---|
| instanceOf |
French computer scientist
ⓘ
computer scientist ⓘ human ⓘ |
| awardReceived |
ACM SIGPLAN Programming Languages Achievement Award
NERFINISHED
ⓘ
CNRS Gold Medal NERFINISHED ⓘ CNRS Silver Medal NERFINISHED ⓘ Grand Prix in Science and Engineering of the Fondation de France NERFINISHED ⓘ |
| countryOfCitizenship | France ⓘ |
| educatedAt |
École des mines de Paris
NERFINISHED
ⓘ
École polytechnique NERFINISHED ⓘ |
| employer |
Collège de France
NERFINISHED
ⓘ
INRIA NERFINISHED ⓘ École des mines de Paris NERFINISHED ⓘ |
| familyName | Berry NERFINISHED ⓘ |
| fieldOfWork |
computer science
ⓘ
formal methods ⓘ programming languages ⓘ synchronous programming ⓘ |
| gender | male ⓘ |
| givenName | Gérard NERFINISHED ⓘ |
| hasAcademicDiscipline |
software engineering
ⓘ
theoretical computer science ⓘ |
| hasTaught |
formal methods
ⓘ
programming languages ⓘ synchronous programming ⓘ |
| knownFor |
development of the Esterel programming language
ⓘ
pioneering work in synchronous programming ⓘ theory and practice of synchronous languages ⓘ work on formal methods ⓘ work on programming languages ⓘ |
| languageOfWorkOrName | French ⓘ |
| memberOf |
Académie des sciences (France)
NERFINISHED
ⓘ
Académie des technologies (France) NERFINISHED ⓘ |
| name | Gérard Berry NERFINISHED ⓘ |
| nationality | French ⓘ |
| notableWork |
Esterel synchronous programming language
NERFINISHED
ⓘ
theory of synchronous reactive systems ⓘ |
| occupation |
engineer
ⓘ
researcher ⓘ university professor ⓘ |
| placeOfBirth | France ⓘ |
| positionHeld |
Chair of Algorithms, Machines and Languages at Collège de France
NERFINISHED
ⓘ
Professor at Collège de France ⓘ |
| researchInterest |
concurrency in programming languages
ⓘ
formal verification of programs ⓘ reactive systems ⓘ |
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: Gérard Berry Description of subject: Gérard Berry is a prominent French computer scientist known for his pioneering work in programming languages, formal methods, and synchronous programming.
Referenced by (1)
Full triples — surface form annotated when it differs from this entity's canonical label.