paprika.idref.fr paprika.idref.fr data.idref.fr data.idref.fr Documentation Documentation
Identifiant pérenne de la notice : 059760214Copier cet identifiant (PPN)
Notice de type Personne

Point d'accès autorisé

Berry, Gérard (1948-.... ; informaticien)

Variante de point d'accès

Berry, G.
[Nom de personne]

Information

(par souci de protection des données à caractère personnel, le jour et le mois de naissance peuvent ne pas être affichés)
Langue d'expression : français,anglais
Pays : France
Date de naissance :    1948
Genre : Masculin

Notes

Note publique d'information : 
Professeur émérite au Collège de France (en 2022)

Identifiants externes

Identifiant VIAF : http://viaf.org/viaf/44556535
Identifiant ISNI : 0000000083781009

Source

Bottom-up computation of recursive programs / G. Berry, 1975

Calculs ascendants des programmes récursifs / Gérard Berry, 1976. Thèse de 3e cycle : Mathématiques : Paris 7 : 1976

Internet, https://fr.wikipedia.org/wiki/Gérard_Berry (2023-06-15)

Information trouvée : Gérard Berry, né le 25 décembre 1948, est un informaticien français, professeur au Collège de France, membre de l'Académie des sciences française (depuis 2002), de l'Académie des technologies (depuis 2005), et de l'Academia Europaea (depuis 1993).

La pensée informatique / Gérard Berry, DL 2019

Information trouvée : Né le 25 décembre 1948, ancien élève de l'École polytechnique et ingénieur général du corps des mines, Gérard Berry a été chercheur à l'École des mines de Paris et chez Inria de 1970 à 2000. Directeur scientifique de la société Esterel Technologies de 2001 à 2009, il reprend ensuite un poste de directeur de recherche Inria de 2009 à 2012. Après y avoir tenu deux chaires annuelles en 2007-2008 et 2009-2010, il occupe depuis 2012 la première chaire du domaine informatique créée par le Collège de France « Algorithmes, machines et langages ». Pour les nombreuses applications de ses travaux dans l'industrie, Gérard Berry a reçu le Prix Monpetit de l'Académie des sciences, le Prix Science et défense et le Grand prix de la Fondation EADS pour les applications de la science à l'indsutrie. Il a reçu la Médaille d'or du CNRS en 2014. Il est également Chevalier de la Légion d'honneur et membre de l'Académie des sciences, de l'Académie des technologies et de l'Academia Europaea.

Modèles complètement adéquats et stables des lambda-calculs typés / Gérard Berry, 1979. Thèse d'État : Mathématiques : Paris 7 : 1979

Nous sommes les réseaux sociaux / Serge Abiteboul et Jean Cattan ; préface de Gérard Berry, © 2022

Information trouvée : Gérard Berry est professeur émérite au Collège de France où il a dirigé la chaire « Algorithmes, machines et langages ». Il est médaille d'or du CNRS.

Techniques de débogage statique et dynamique pour le langage HipHop.js / Jayanth Krishnamurthy ; sous la direction de Manuel Serrano. Thèse de doctorat : Informatique : Université Côte d'Azur : 2023

Information trouvée : membre du jury

... Références liées : ...