Computer scientist Gérard Berry is awarded the 2014 CNRS Gold Medal
This year’s CNRS Gold Medal, France’s most prestigious scientific distinction, has been awarded to Gérard Berry, holder of the first chair in computer science at the Collège de France since 2012. From the formal processing of programming languages to the computer-assisted design of integrated circuits and parallel real-time programming, Berry’s achievements have led to major advances in information technology, finding myriad applications in the daily lives of computer users the world over.
Gérard Berry is the father of the Esterel language and has been the scientific director at Esterel Technologies from 2001 to 2009. Before joining Esterel Technologies in January 2001, Mr. Berry was the Director of Research at Ecole des Mines de Paris (EMP), Director of the Applied Mathematics Center (CMA) of EMP, and co-head of the joint EMP/INRIA Meije project (INRIA is the largest European research center in computer science and automation).
His research activities include programming language designs, semantics and implementation, reactive and real-time programming, synchronous circuit design and synthesis, automatic verification of finite state systems, and mathematical logic. His teaching activities include the theory of automata and its relation to Boolean algebra, electronic circuit design, reactive programming, computability theory, lambda calculus, and reactive programming.
CNRS Press Release: http://www2.cnrs.fr/en/2453.
Communiqué de Presse du CNRS: http://www2.cnrs.fr/presse/