Gérard Berry#
Membership Number: | 1404 |
Membership type: | ORDINARY |
Section: | INFORMATICS |
Elected: | 1993 |
Main Country of Residence: | FRANCE |
Homepage(s): | http://www-sop.inria.fr/members/Gerard.Berry |
Present and Previous Positions
- since 2014 Member of the Board of IRCAM (Institut de recherche et coordination acoustique/musique)
- since 2014 President of the Council of Education and Research of Ecole Polytechnique
- since 2012 President of the Scientific Council of ESIEE
- since 2012 Professor at Collège de France, Chair Algorithmes, Machines et Langages (Algorithms, Machines, and Languages)
- since 2011 Member of the Scientific Council of IRCAM (Institut de recherche et coordination acoustique/musique)
- 2009-2012 Director of Research at INRIA Sophia Antipolis
- 2009-2010 Professor at Collège de France, Informatics and Digital Sciences chair (www.college-de-france.fr)
- since 2009 Director of Research at INRIA, president of the INRIA evaluation Committee (www.inria.fr)
- 2007-2008 Professor at Collège de France, Technology Innovation chair Liliane Bettencourt
- 2001-2009 Chief scientist at Esterel Technologies (www.esterel-technologies.com)
- 1994-2001 Director of the Applied Mathematics Center, Ecole des Mines, Sophia-Antipolis (www.ensmp.fr)
- 1977-2001 Researcher at Ecole des Mines and INRIA, Sophia-Antipolis
- 1970-1977 Researcher at Ecole des Mines and INRIA, Paris
Fields of Scholarship
- Models of computation: lambda-calculus, sequentiality models, synchronous concurrency models
- Programming language design and implementation
- Synchronous programming of reactive systems
- Circuit specification and synthesis
- Formal verification of hardware and software
Honours and Awards
- 2005 EADS Foundation Great Prize
- 2005 Member, Académie des technologies
- 2002 Member, Académie des sciences
- 1979 French Science and Defense Award
- 1977 CNRS Silver Medal