X

Events

How to chase bugs in embedded systems and circuits? by Gérard Berry, Collège de France

Event information

Start date :31/05/2016

End date :31/05/2016

Time :16:00

Location : Amphi. 2 - MRV, 118 route de Narbonne, 31400, Toulouse

Biography

Photo Cyril FRESILLON/CNRS Photothèque

© Cyril FRESILLON/CNRS Photothèque

Former student of the Ecole polytechnique and Corps des mines, Member of the Academy of sciences, of the Academy of technology and the Academia Europaea, CNRS Gold medal 2014, Gérard Berry was a researcher at the Ecole des mines of Paris and INRIA from 1973 to 2000, Chief Scientist of the company Esterel Technologies from 2001 to 2009, then Research Director at INRIA and President of the Evaluation Committee of this Institute from 2009 to 2012. He holds the Chair Algorithms, Machines and Languages at the Collège de France from 2012, after having held two annual chairs in 2007-2008 and 2009-2010.

His scientific contribution concerns four main topics: the formal treatment of programming languages and their relations with mathematical logic, reactive and real-time programming for embedded systems, integrated circuit computer-aided design, and formal verification of programs and circuits. He is the creator of the Esterel programming language.