Gérard Berry

URI: https://gptkb.org/entity/G%C3%A9rard_Berry
GPTKB entity
Properties (49)
Predicate Object
gptkbp:instanceOf computer scientist
gptkbp:academicAdvisor gptkb:Gérard_Huet
gptkbp:affiliation gptkb:INRIA
gptkbp:author gptkb:Romain_Rouvoy
gptkb:Jean-Baptiste_Tristan
gptkb:Sophie_Tison
gptkb:David_Pichardie
gptkb:Olivier_Hainque
gptkb:Gérard_Huet
gptkb:Thierry_Gautier
gptkb:Gérard_Boudol
gptkb:François_Pottier
gptkb:Jean-Pierre_Talpin
gptkb:Jean-Pierre_Jouannaud
gptkb:Xavier_Leroy
gptkb:Daniel_Le_Métayer
gptkb:Michaël_Dufour
gptkb:Jean-Claude_Raoult
gptkb:Julien_Gascuel
gptkb:Pierre-Louis_Curien
gptkb:Olivier_Danvy
gptkb:David_Monniaux
gptkb:Julien_Signoles
gptkb:Jean-Marc_Talbot
gptkb:Julien_Lange
gptkb:Jean-Baptiste_Raclet
gptkb:Benoît_Langlois
gptkb:Sébastien_Bardin
gptkb:Alain_Colmerauer
gptkb:Jean-Claude_Simoens
gptkb:Nicolas_Peltier
gptkb:Philippe_Charland
Hélène_Kirchner
Nicolas_Halbwachs
gptkbp:awards gptkb:CNRS_Gold_Medal
gptkbp:birthDate 1953-03-30
gptkbp:birthPlace gptkb:Paris,_France
gptkbp:field computer science
https://www.w3.org/2000/01/rdf-schema#label Gérard Berry
gptkbp:influenced gptkb:François_Pottier
gptkbp:influencedBy gptkb:John_McCarthy
gptkbp:knownFor contributions to programming languages
work_on_the_Esterel_programming_language
gptkbp:nationality French
gptkbp:notableWork The Esterel Language
gptkbp:researchFocus real-time systems
concurrency
formal methods
programming language semantics