Gérard Berry#


Berry Gerard
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


Imprint Privacy policy « This page (revision-12) was last changed on Monday, 14. June 2021, 13:59 by Majkowska Katarzyna
  • operated by