Gérard Berry

Gérard Berry is a Professor at the Collège de France, holding the permanent Algorithms, Machines, and Languages chair since 2012. He previously held the Computer Sciences and Digital Technologies annual chair in 2007-2008 and 2009-2010. He is a member of the Académie des Sciences, Académie des Technologies, and Academia Europaea. His career spans academia at École des Mines de Paris and Inria, and industry as Chief Scientist at Esterel Technologies.

His research focuses on formal verification of programs and circuits, parallel and real-time programming, and synchronous programming languages. He created the Esterel language and its industrial compiler, which became foundational for safety-critical systems in avionics and hardware design. His recent work includes the Hop and HipHop languages for multitier web orchestration.

His publications highlight trends in formal methods, real-time systems, and program verification. These works bridge theoretical computer science with practical applications in embedded systems and digital transformation.

Scientific Awards:

• CNRS Gold Medal (2014)
• Chevalier de la Légion d'Honneur (2012)
• Great Prize of EADS Foundation (2005)
• Science and Defense Award (1999)

Gérard Berry has supervised 17 PhD theses and contributed to numerous academic collaborations. He co-founded Inria's evaluation committee and served on scientific boards for institutions like Institut Pasteur and IRCAM.