• unknown (b.)

Bio/Description

He has been active in the field of computing since 1967, when he completed his national duties with the French Navy, as a contributor to the development of real-time multiprocessors for submarines. He holds an M.S. in Applied Mathematics, an Engineer Degree from ENSEEIHT, and a Ph.D. in Computer Science. In 1969, he joined CERN (the European Research Center for Nuclear Physics, Switzerland), the Cyclades Project (French Ministry of Industry), inspired from the US Arpanet Project, and Stanford University, where he worked with Professor Vint Cerf as an architect of the TCP/Internet protocol. In 1977, he published one of the pioneering papers on distributed computing. In 1978 he joined IRIA (Institut National de Recherche en Informatique et Automatique) (now INRIA) in Rocquencourt, France, as Research Director. There, he has launched four INRIA projects so far, funded by INRIA as well as by various French, European, or US agencies and companies. His main areas of research are algorithmic issues in distributed fault-tolerant real-time computing and proof-based system engineering for computer-based systems, safety-critical communications in mobile radio cyber-physical systems for intelligent vehicular networks, and cyber-energy transitions. On these topics, he has published in the order of 60 papers or book chapters, and managed more than 35 contracts. Besides conducting research work, he has been active in technology transfer. He is regularly invited to give seminars and to act as a consultant for various international agencies and companies. In 2012, he received the Willis Lamb Award from the French Academy of Sciences, notably for his work concerning national defense. He is also an international consultant, and has conducted audits and supervised over 50 contracts for US, European, and French companies and organizations.