Gérard Berry#
| Email: | gerard.berry 'at' inria.fr |
| Membership Number: | 1404 |
| Main Country of Residence: | FRANCE |
| Section: | INFORMATICS |
| Username: | gberry |
Present and Previous Positions
- 2009-2010 : Professor at Collège de France, Informatics and Digital Sciences chair (www.college-de-france.fr)
- 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
- Member, Académie des sciences, 2002
- Member, Académie des technologies, 2005
- CNRS Silver Medal, 1977
- French Science and Defense Award, 1979
- EADS Foundation Great Prize, 2005
| operated by | 
|