Gérard Philippe Berry (born 25 December 1948) is a French

computer scientist A computer scientist is a person who is trained in the academic study of computer science. Computer scientists typically work on the theoretical side of computation, as opposed to the hardware side on which computer engineers mainly focus (al ...

, member of the

French Academy of Sciences The French Academy of Sciences (French: ''Académie des sciences'') is a learned society, founded in 1666 by Louis XIV of France, Louis XIV at the suggestion of Jean-Baptiste Colbert, to encourage and protect the spirit of French Scientific me ...

(Académie des sciences),

French Academy of Technologies The National Academy of Technologies of France (''Académie des technologies'') is a learned society, founded in 2000, with an emphasis on technology, and the newest of French academies. In 2007 it acquired the status of ''établissement public'', w ...

(Académie des technologies), and

Academia Europaea The Academia Europaea is a pan-European Academy of Humanities, Letters, Law, and Sciences. The Academia was founded in 1988 as a functioning Europe-wide Academy that encompasses all fields of scholarly inquiry. It acts as co-ordinator of Europea ...

. He was the Chief Scientist Officer of

Esterel Technologies Esterel Technologies is a supplier of model-based design, validation, and code generation tools for safety-critical software and hardware applications. Esterel's tools create formal specifications that produce control designs code in software an ...

from 2000 to 2009. He held the 2007-2008 yearly Liliane Bettencourt chair of Technological Innovation at the

Collège de France The Collège de France (), formerly known as the ''Collège Royal'' or as the ''Collège impérial'' founded in 1530 by François I, is a higher education and research establishment (''grand établissement'') in France. It is located in Paris ne ...

. He was Director of Research at

INRIA The National Institute for Research in Digital Science and Technology (Inria) () is a French national research institution focusing on computer science and applied mathematics. It was created under the name ''Institut de recherche en informatiq ...

Sophia-Antipolis and held the 2009-2010 yearly Informatics and Digital Sciences chair at the

. Berry's work, which spans over more than 30 years, brought important contributions to three main fields: *

lambda calculus Lambda calculus (also written as ''λ''-calculus) is a formal system in mathematical logic for expressing computation based on function abstraction and application using variable binding and substitution. It is a universal model of computation ...

and

functional programming In computer science, functional programming is a programming paradigm where programs are constructed by Function application, applying and Function composition (computer science), composing Function (computer science), functions. It is a declar ...

parallel Parallel is a geometric term of location which may refer to: Computing * Parallel algorithm * Parallel computing * Parallel metaheuristic * Parallel (software), a UNIX utility for running programs in parallel * Parallel Sysplex, a cluster of IBM ...

and

real-time Real-time or real time describes various operations in computing or other processes that must guarantee response times within a specified time (deadline), usually a relatively short time. A real-time process is generally one that happens in defined ...

programming language A programming language is a system of notation for writing computer programs. Most programming languages are text-based formal languages, but they may also be graphical. They are a kind of computer language. The description of a programming ...

s *

design automation Configurators, also known as choice boards, design systems, toolkits, or co-design platforms, are responsible for guiding the user through the configuration process. Different variations are represented, visualized, assessed and priced which star ...

for synchronous digital circuits Berry is known for the

Esterel Esterel is a synchronous programming language for the development of complex reactive systems. The imperative programming style of Esterel allows the simple expression of parallelism and preemption. As a consequence, it is well suited for contr ...

programming language.

References

External links

Personal home page at INRIA
—
Courses at Collège de France

— French Academy of Sciences web site:

— Annales des Mines
Decree JORF #176, 08/01/2007, p12944, text #54
Pr. Berry appointed Associate Professor at

Bibliography

* Gérard Berry, ''L'Hyperpuissance de l'informatique : algorithmes, données, machines, réseaux'', Odile Jacob, 2017 * Gérard Berry, ''L'Informatique du temps et des événements'', Fayard, Paris, 2013. * Gérard Berry, ''Penser, modéliser et maîtriser le calcul informatique'', Fayard, Paris, 2008 * Gérard Berry, ''Pourquoi et comment le monde devient numérique ?'', Fayard, Paris, 2008. 1948 births Collège de France faculty Living people French computer scientists Members of Academia Europaea Members of the French Academy of Sciences École Polytechnique alumni {{France-compu-bio-stub