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

computer scientist A computer scientist is a scientist who specializes in the academic study of computer science. Computer scientists typically work on the theoretical side of computation. Although computer scientists can also focus their work and research on ...

, member of the

French Academy of Sciences The French Academy of Sciences (, ) is a learned society, founded in 1666 by Louis XIV at the suggestion of Jean-Baptiste Colbert, to encourage and protect the spirit of French Scientific method, scientific research. It was at the forefron ...

(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'', ...

(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 Europe ...

. 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 a ...

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

Collège de France The (), formerly known as the or as the ''Collège impérial'' founded in 1530 by François I, is a higher education and research establishment () in France. It is located in Paris near La Sorbonne. The has been considered to be France's most ...

. 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 French Institute for Research in Comp ...

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 In mathematical logic, the lambda calculus (also written as ''λ''-calculus) is a formal system for expressing computability, computation based on function Abstraction (computer science), abstraction and function application, application using var ...

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 declarat ...

parallel Parallel may refer to: Mathematics * Parallel (geometry), two lines in the Euclidean plane which never intersect * Parallel (operator), mathematical operation named after the composition of electrical resistance in parallel circuits Science a ...

and

real-time Real-time, realtime, or real time may refer to: Computing * Real-time computing, hardware and software systems subject to a specified time constraint * Real-time clock, a computer clock that keeps track of the current time * Real-time Control Syst ...

programming language A programming language is a system of notation for writing computer programs. Programming languages are described in terms of their Syntax (programming languages), syntax (form) and semantics (computer science), semantics (meaning), usually def ...

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 sta ...

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 cont ...

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 Academic staff of the Collège de France Living people French computer scientists Members of Academia Europaea Members of the French Academy of Sciences École Polytechnique alumni {{France-compu-bio-stub