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 |
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 ⓘ |
Referenced by (1)
Full triples — surface form annotated when it differs from this entity's canonical label.