Gérard Berry

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

France
Date de naissance
1948
Langues d'expression
français
anglais
Professeur émérite au Collège de France (en 2022)

Ancien élève de l'École Polytechnique, Gérard Berry a été chercheur à l'École Nationale Supérieure des Mines de Paris et à l'INRIA de 1970 à 2001, puis Directeur scientifique d'Esterel Technologies de 2001 à 2009, il est aujourd'hui directeur de recherche à l’INRIA et président de la Commission d’évaluation de la recherche de cet institut. Membre de l'Académie des sciences et de l'Académie des technologies, également professeur au Collège de France, sa contribution scientifique concerne la modélisation du calcul, la programmation parallèle et temps réel, ainsi que la conception et la vérification formelles de circuits intégrés. Il est le créateur du langage de programmation EstereL.

Vidéos

Esterel et SCADE : de la recherche à l'industrie : La vision labo (cycle de cours et séminaires du collège de France en extérieur) 1/3
Conférence
01:12:41

Esterel et SCADE : de la recherche à l'industrie : La vision labo (cycle de cours et séminaires du …

Berry
Gérard

Pour son cycle de cours 2013/2014, Gérard Berry, titulaire de la Chaire "Algorithmes, Machines et langages" du Collège de France, a choisi de donner ses 3 premiers cours et séminaires au centre

Esterel et SCADE de la recherche à l'industrie : la vision industrielle (cycle de cours et séminaires du collège de France en extérieur) 2/3
Conférence
01:00:00

Esterel et SCADE de la recherche à l'industrie : la vision industrielle (cycle de cours et séminair…

Berry
Gérard

Pour son cycle de cours 2013/2014, Gérard Berry, titulaire de la Chaire "Algorithmes, Machines et langages" du Collège de France, a choisi de donner ses 3 premiers cours et séminaires au centre

Esterel et SCADE (3/3), Urgences scientifiques posées par l’industrie: masquages d’horloges, circuits multi-horloges, ECOs et vérification formelle
Conférence
00:54:21

Esterel et SCADE (3/3), Urgences scientifiques posées par l’industrie: masquages d’horloges, circui…

Berry
Gérard

Pour son cycle de cours 2013/2014, Gérard Berry, titulaire de la Chaire "Algorithmes, Machines et langages" du Collège de France, a choisi de donner ses 3 premiers cours et séminaires au centre

Pour quoi tu cherches ? : pourquoi et comment notre monde est devenu numérique
Documentaire
00:24:34

Pour quoi tu cherches ? : pourquoi et comment notre monde est devenu numérique

Berry
Gérard
Viéville
Thierry
Soyez
Julia
Tonnelier
Marie
Lamouche
Benoit
Caillière
Mathieu
Aigouy
Philippe

Un court métrage «docu-fiction» pour découvrir ces grands personnages de l’Informatique et des Sciences du Numérique et partager quelques unes de leurs grandes idées... « Notre monde a changé... Notre

Expériences personnelles dans l’enseignement de l’informatique et du monde numérique
Vidéo pédagogique
01:19:25

Expériences personnelles dans l’enseignement de l’informatique et du monde numérique

Berry
Gérard

L'informatique est partout, c'est devenu banal de le dire, mais qu'entend-on vraiment par là ? Comprend-on bien que le numérique, aujourd'hui, loin de se cantonner aux ordinateurs, est bien plus