Le président directeur général de l’INRIA Gilles Kahn est décédé la semaine dernière. Polytechnicien, membre de l’acédémie des sciences, Gilles Kahn était une figure éminente de l’informatique française, avec de remarquables contributions, notamment dans le domaine de la programmation, des langages, ou des environnements de preuve.
