معرفی
Berry Gérard is a distinguished Professor at Collège de France, holding the Chair in Algorithms, Machines, and Languages since 2012. He previously served as Director of Research at INRIA Sophia Antipolis and Chief Scientist at Esterel Technologies. His academic journey includes roles at École des Mines de Paris and École Polytechnique. Gérard specializes in models of computation, programming language design, and synchronous systems. He has contributed significantly to the development of the Esterel language for embedded systems and formal verification techniques.
Education:
- Docteur d’Etat in Mathematics, Université Paris VII (Computer Science option), 1979
- Ingénieur des Mines, Corps National des Ingénieurs des Mines, 1970
- École Polytechnique, 1967
Research Interests: Focuses on computational models (e.g., lambda-calculus, synchronous concurrency), programming languages (Esterel, Hop/HipHop), circuit synthesis, and formal verification. His recent work explores diffuse programming and web orchestration.
Key Awards:
- 2014: Médaille d'or du CNRS
- 2005: Member, Académie des technologies
- 1993: Member, Academia Europaea
- 1979: Bronze Medal of CNRS
Professional Roles:
- President of the Council of Education and Research at École Polytechnique
- Member of the Scientific Council of IRCAM
- Former President of the INRIA Evaluation Committee
Labs/Teams: Active in INRIA’s Indes project on diffuse programming and collaborates with IRCAM on real-time music systems.
