Jean-Raymond Abrial

Docteur d’honneur en sciences

13 septembre 2008

Né en 1938,  Jean-Raymond Abrial est un informaticien internationalement reconnu et considéré comme un pionnier du développement scientifique des méthodes formelles et de leur application à grande échelle dans l’industrie. Ses travaux reposent sur des techniques mathématiques rigoureuses appliquées à la conception de logiciels et figurent parmi les plus cités en informatique. Ses brillantes recherches ont mené à des applications concrètes, bien ancrées dans la société. L’une des méthodes dont il est l’auteur (la méthode B) est notamment à la base de l’automatisation des systèmes de transport de lignes de métro d’une vingtaine de grandes métropoles (dont Paris, Mexico, Hong-Kong, Barcelone, San Juan et New York) et permet de transporter en toute sécurité plus de deux millions de personnes par jour. Jean-Raymond Abrial a fait ses études à l’École Polytechnique de France et possède également un diplôme de l’Université Standford aux États-Unis. En 2004, il a accepté un poste de professeur à l’ETH Zurich. Chercheur indépendant, scientifique intègre, il a interagi avec les milieux académique et industriel tout au long de sa carrière.