Algorithmes, Machines Et Langages

Informações:

Sinopsis

Ancien élève de lÉcole polytechnique, ingénieur général du Corps des mines, membre de lAcadémie des science, de lAcadémie des technologies et de lAcademia Europaea, chercheur à lÉcole des mines de Paris et à lINRIA de 1970 à 2000, Directeur scientifique dEsterel Technologies de 2001 à 2009, Gérard Berry est actuellement chercheur à lInstitut National de Recherche en Informatique et Automatique (INRIA) et président de la commission dévaluation de cet institut. Sa contribution scientifique concerne trois principaux sujets : le lambda calcul et la sémantique formelle des langages de programmation, la programmation parallèle et temps réel, et la conception assistée par ordinateur de circuits intégrés. Il est le créateur du langage de programmation Esterel.

Episodios