Inria rend hommage \u00e0 Gilles Muller, d\u00e9c\u00e9d\u00e9 le 17 novembre 2021.<\/p>\n
Apr\u00e8s une th\u00e8se \u00e0 l\u2019universit\u00e9 de Rennes 1 en 1988, il a \u00e9t\u00e9 recrut\u00e9 charg\u00e9 de recherche \u00e0 Inria au sein de l\u2019\u00e9quipe LSP\/SOLIDOR, avant de participer \u00e0 la cr\u00e9ation de l\u2019\u00e9quipe COMPOSE avec Charles Consel en 1996. En 2002, il est nomm\u00e9 professeur \u00e0 l\u2019Ecole des Mines de Nantes et est membre de l\u2019\u00e9quipe OBASCO. En 2009 il est nomm\u00e9 Directeur de recherche Inria, rejoint Paris et l\u2019\u00e9quipe REGAL avant de former en 2014 l\u2019\u00e9quipe WHISPER.<\/p>\n
Il \u00e9tait un fervent d\u00e9fenseur du d\u00e9veloppement de nouvelles m\u00e9thodologies bas\u00e9es sur l’utilisation de langages sp\u00e9cifiques pour la structuration des syst\u00e8mes d\u2019exploitation et de leur noyau. Rien ne l\u2019aga\u00e7ait plus (doux euph\u00e9misme) que de voir que le d\u00e9veloppement de syst\u00e8mes d’exploitation est traditionnellement consid\u00e9r\u00e9 comme une activit\u00e9 en marge du d\u00e9veloppement logiciel, que la g\u00e9n\u00e9ralit\u00e9 est sacrifi\u00e9e au profit des performances, que l’utilisation trop r\u00e9pandue de langages de programmation peu s\u00fbrs, combin\u00e9e \u00e0 des optimisations manuelles hasardeuses, compromet grandement la s\u00e9curit\u00e9 m\u00eame des syst\u00e8mes d\u2019exploitation. Gilles s\u2019est battu jusqu\u2019au bout pour porter cette vision qu\u2019il a largement essaim\u00e9 dans la communaut\u00e9.<\/p>\n
Ce livre de t\u00e9moignages est ouvert \u00e0 tous ceux qui souhaitent d\u00e9poser une contribution personnelle en hommage \u00e0 Gilles Muller.<\/p>","protected":false},"excerpt":{"rendered":"
Inria rend hommage \u00e0 Gilles Muller, d\u00e9c\u00e9d\u00e9 le 17 novembre 2021. Apr\u00e8s une th\u00e8se \u00e0 l\u2019universit\u00e9 de Rennes 1 en 1988, il a \u00e9t\u00e9 recrut\u00e9 charg\u00e9 de recherche \u00e0 Inria au sein de l\u2019\u00e9quipe LSP\/SOLIDOR, avant de participer \u00e0 la cr\u00e9ation de l\u2019\u00e9quipe COMPOSE avec Charles Consel en 1996. En\u2026<\/p>\n