Gérard Berry is a former student of the École polytechnique, general engineer of the Corps des Mines, member of the Académie des sciences, the Académie des technologies and the Academia Europaea. He was a researcher at the École des mines de Paris and at Inria from 1970 to 2000, scientific director of Esterel Technologies from 2001 to 2009, then scientific director of Inria and chairman of the institute's evaluation commission from 2009 to 2012. He held the Computer Sciences and Digital Sciences Chair at the Collège de France from 2012 to 2019, after holding two annual chairs there in 2007-2008 and 2009-2010. His scientific contributions cover four main topics : formal processing of programming languages and their relationship with mathematical logic, parallel and real-time programming, computer-aided design of integrated circuits, and formal verification of programs and circuits. He is the creator of the Esterel programming language.
Gérard Berry
Biography and publications
Biography and publications
Algorithms, machines and languages