JAUME Mathieu

Associate Professor [HDR]
Team : MoVe
https://lip6.fr/Mathieu.Jaume

Research activity

Mathieu Jaume

Cher Mathieu,

Ta disparition le 12 octobre 2023 nous a toutes et tous atterrĂ©s. Notre tristesse est immense. La direction du Laboratoire d’Informatique de Sorbonnne-UniversitĂ©, le LIP6, dont tu Ă©tais membre depuis 2001, l’équipe MoVe Ă  laquelle tu appartenais depuis 2012, m’a demandĂ© de les reprĂ©senter aujourd’hui. Je me fais aussi le porte-parole des nombreux collĂšgues et amis qui ont partagĂ© tes travaux de recherche et d’enseignement et de tes Ă©tudiants qui dĂ©plorent ta disparition.
J’adresse tout d’abord toutes nos condolĂ©ances Ă  tes parents, Ă  ta sƓur et Ă  tes neveux ainsi qu’à tous celles et ceux qui sont comme nous dans la peine.

Je voudrais rappeler ici ton parcours scientifique depuis ton DEA IARFA Ă  Paris 6 suivi de ta thĂšse, dirigĂ©e par RenĂ© Lallement Ă  l’École des Ponts, soutenue en septembre 1999. Tu as ensuite entrepris une carriĂšre d’enseignant-chercheur sous l’auspice des mĂ©thodes formelles, c’est-Ă -dire de mĂ©thodes fondĂ©es sur les mathĂ©matiques et la logique. D’abord un poste d’ATER Ă  l’UniversitĂ© d’Évry oĂč tu as commencĂ© une trĂšs longue collaboration, poursuivie jusqu’à prĂ©sent, avec Catherine Dubois. Puis, tu as passĂ© quelque temps Ă  l’UniversitĂ© de Nanterre et Ă  celle de Namur.

Contribution SPI

Tu as rejoint mon Ă©quipe SPI au LIP6 en septembre 2001 en tant que MaĂźtre de ConfĂ©rences. Tu y as nouĂ© des relations solides, scientifiques et amicales, qui durent encore, avec Marc, Renaud, Vassiliki, etc., et les doctorants Sylvain,Nacera, Bruno, Virgile, Louis, Daniel, Julien, Philippe, Éric, Lionel

En tant que membre de l’équipe SPI, tu as Ă©tĂ© un des piliers de notre projet FOCALIZE. Avec ton lĂ©gendaire appĂ©tit pour les mĂ©thodes formelles ultraprĂ©cises, tu t’es bien sĂ»r consacrĂ© Ă  la partie preuves assistĂ©es par ordinateur. Tu as beaucoup donnĂ© pour la rĂ©ussite des ANR liĂ©es Ă  FOCALIZE, intitulĂ©es Modulogic et SSURF, SSURF dont tu Ă©tais le responsable. Les participants Ă  ces ANR appartenaient au CEDRIC (laboratoire d’informatique du CNAM) ou bien Ă  INRIA Rocquencourt et Nancy ou aux sociĂ©tĂ©s BERTIN et SAFERIVER. Elles et ils se rappellent de nos sĂ©ances de travail oĂč se mĂȘlaient sĂ©rieux, rigueur, mais aussi amitiĂ© qui dure encore et humour parfois dĂ©capant. Par exemple, on riait beaucoup quand, rĂ©guliĂšrement, Ă  «?midi moins cinq?» pile, tu demandais l’interruption de la sĂ©ance, car tu affirmais que «?l’estomac vide, tu ne pouvais plus rĂ©flĂ©chir?». Nous avons toujours obĂ©i Ă  ton cri de famine. Je citerai juste 3 de tes publications de l’annĂ©e 2003, pour illustrer la largeur de ton spectre de recherche 3 ans seulement aprĂšs ta thĂšse «?RĂ©utilisation de preuves formelles : une Ă©tude pour le systĂšme Foc?» (avec C. Dubois), «?Making proofs in a hierarchy of mathematical structures?» (avec V. Prevosto), «?A full formalisation of Bell and La Padula Security model?» (avec E. Gureghian et T. Hardin).
Ton investissement dans la cybersĂ©curitĂ©, bien sĂ»r Ă  l’aide de mĂ©thodes formelles, date de ton tout premier encadrement (celui d’Emmanuel). Il portait sur la preuve mathĂ©matique des propriĂ©tĂ©s d’une politique de sĂ©curitĂ© et vous avez ainsi dĂ©couvert quelques bugs subtils dans cette politique pourtant dĂ©jĂ  largement Ă©tudiĂ©e. Charles Morisset, le premier doctorant sur ce sujet que tu as pleinement encadrĂ© (thĂšse soutenue en 2007), m’a dit se souvenir avec beaucoup d’émotion de ton encadrement, qui reste toujours une rĂ©fĂ©rence pour lui. Il se souvient de vos longues discussions autour d’un tableau blanc rempli de symboles mathĂ©matiques et du rituel du thĂ© Ă  la menthe de l’aprĂšs-midi. Charles m’a demandĂ© de rappeler aussi combien ta disponibilitĂ©, intellectuelle et humaine, a permis la poursuite de vos Ă©changes scientifiques, mais surtout amicaux tout au long de ces vingt derniĂšres annĂ©es, jusqu’à ces derniers jours. Tu as soutenu ton habilitation Ă  diriger les recherches, en novembre 2008. Elle Ă©tait intitulĂ©e «?Descriptions formelles : Comprendre, corriger, implanter, rĂ©utiliser. Application au contrĂŽle d’accĂšs?». Tous tes sujets de prĂ©dilection en un seul titre. J’ai Ă©tĂ© trĂšs heureuse et trĂšs fiĂšre que ton activitĂ© de recherche soit ainsi reconnue.

Contribution de Valérie Triem Tong

C’est sur le domaine de la cybersĂ©curitĂ© que porte depuis 2007 ta collaboration avec ValĂ©rie Triem Tong, Ludovic MĂ© et les membres de l’équipe CIDRE de INRIA/Centrale-Supelec Rennes. ValĂ©rie m’a demandĂ© de souligner que vous avez pu, grĂące Ă  toi, Mathieu, construire une fondation mathĂ©matique solide, qui a permis de formaliser des problĂšmes opĂ©rationnels de cybersĂ©curitĂ©, jusque lĂ  empiriquement traitĂ©s. Vous avez ainsi Ă©laborĂ© des outils sophistiquĂ©s, robustes, pour traquer des attaques de systĂšmes informatiques avancĂ©es et ces outils sont en cours de transfert vers l’industrie. Dans ce contexte, tu as coencadrĂ© la thĂšse de Laurent Georget, elle prouve une propriĂ©tĂ© de sĂ©curitĂ© du noyau Linux (15 millions de lignes de code), une belle rĂ©ussite rĂ©compensĂ©e par le prix du meilleur article Ă  la ConfĂ©rence SEFM 2017 (Software Engineering and formal Methods). De mĂȘme, la thĂšse d’Aimad Berardy, que tu as codirigĂ©e, a Ă©tĂ© rĂ©compensĂ©e en 2023 par le prix SpĂ©cial du Jury dĂ©cernĂ© par la Gendarmerie nationale. Les doctorants que tu as encadrĂ©s Ă  Paris ou Ă  Rennes sont unanimes Ă  louer ta curiositĂ©, ta patience et ta gentillesse.
Voici les quelques mots que ValĂ©rie m’a demandĂ© de prononcer en son nom. «?D’un point de vue humain, moi, ValĂ©rie, j’avais avec Mathieu une complicitĂ© rare qui nous permettait de travailler en confiance et d’attaquer des sujets ambitieux et originaux qui ont tous Ă©tĂ© reconnus dans la communautĂ©. Il Ă©tait mon collĂšgue, mais surtout mon ami et je garderai de lui sa gentillesse, son humour, ses modĂšles, ses flĂšches en Latex, des symboles inconnus de tous, ses feuilles de notes et le Bled de son enfance qu’il a transmis Ă  mes enfants. J’ai eu beaucoup de chance de l’avoir cĂŽtoyĂ© ces quinze derniĂšres annĂ©es. Il me manquera Ă©normĂ©ment?».

Contribution d’enseignants en informatique de l’UFR d’IngĂ©nierie de Sorbonne-UniversitĂ©

Les enseignants d’informatique de Sorbonne-UniversitĂ© m’ont demandĂ© d’ĂȘtre leur porte-parole et ont rĂ©digĂ© un texte que je vous lis.
Mathieu nous a quittĂ©s si jeune que certains de ses collĂšgues enseignants ont eu la chance de le connaĂźtre en tant qu’étudiant, brillant et remarquĂ©. Devenu lui-mĂȘme enseignant-chercheur, Mathieu s’est toujours pleinement investi dans ses missions d’enseignement, avec enthousiasme et dĂ©vouement. Aussi exigeant avec lui-mĂȘme qu’avec les Ă©tudiants, il fĂ»t Ă  leur Ă©coute, attentif aux difficultĂ©s qu’ils pouvaient rencontrer. Il laisse de nombreux supports de cours, toujours dĂ©taillĂ©s et pĂ©dagogiques, ainsi que deux ouvrages de logique et de mathĂ©matiques discrĂštes, Ă©crits pour aider les Ă©tudiants des UE oĂč il enseignait.
Travailler avec Mathieu était un plaisir. Il était sérieux, fiable et serviable?; le collÚgue sur lequel on peut toujours compter, qui participe plus que sa part aux tùches collectives. Combien de fois nous a-t-il remplacé(e)s, plus ou moins au pied levé, lorsque nous étions absents??
Mathieu Ă©tait dynamique, curieux, il n’hĂ©sitait pas Ă  se renouveler, Ă  adapter les enseignements pour amĂ©liorer la participation et la rĂ©ussite des Ă©tudiants. Il a participĂ© Ă  la crĂ©ation de nouveaux enseignements, il ne voulait pas «?s’encroĂ»ter?» et se contenter de la routine. Il s’était beaucoup investi dans la prĂ©paration de l’AgrĂ©gation d’Informatique et ses leçons Ă©taient fort apprĂ©ciĂ©es des prĂ©parationnaires.
Mathieu Ă©tait gentil, et trĂšs ouvert aux autres. DrĂŽle et gĂ©nĂ©reux, il n’hĂ©sitait pas Ă  s’indigner face aux situations injustes. Nous sommes de nombreux collĂšgues Ă  nous ĂȘtre attachĂ©s Ă  lui et Ă  sa personnalitĂ© si particuliĂšre, et Ă  ressentir le grand vide qu’il a laissĂ©.

Contribution de V. ViguiĂ© Donzeau-Gouge et moi-mĂȘme

Toujours dans le domaine de l’enseignement, VĂ©ronique ViguiĂ© et moi, souhaitons, Mathieu, Ă©voquer ta participation au DESS Logiciels SĂ»rs, habilitĂ© UPMC et CNAM puis au parcours de master 2 du mĂȘme nom. Les Ă©tudiants, futurs ingĂ©nieurs dans le domaine de la sĂ»retĂ© et la sĂ©curitĂ©, trouvaient difficiles tes cours sur l’interprĂ©tation abstraite et sur les assistants Ă  la preuve, mais ils rĂ©alisaient trĂšs vite que ces contenus Ă©taient une formation dĂ©cisive dans leur parcours. Tu exigeais d’eux, rigueur, respect des Ă©chĂ©ances afin de les initier Ă  leurs futures obligations professionnelles. Mais cette exigence Ă©tait enrobĂ©e de beaucoup d’attention, de gentillesse et d’empathie et les anciens Ă©tudiants de LS avec qui j’ai Ă©changĂ© ces derniers jours m’ont dit leur grande tristesse.
Nous avons ensemble, toi, VĂ©ronique ViguiĂ©, François Pessaux et moi, Ă©crit un ouvrage «?Concepts et sĂ©mantiques des langages de programmation?» publiĂ© en 2021. Ta minutie dans la rĂ©daction a rĂ©ussi Ă  nous surprendre plus d’une fois et elle a Ă©tĂ© l’occasion de quelques plaisanteries. Nous gardons tous les trois le souvenir chaleureux de nos nombreuses discussions sur les contenus, de tes dĂ©clarations, parfois un peu Ă©nervĂ©es, sur nos outils latex et git trop capricieux Ă  ton goĂ»t, de toutes tes remarques pleines d’humour que tu faisais en Ă©tant trĂšs pince-sans-rire. Notre amitiĂ© est sortie renforcĂ©e de ce travail commun et nous dĂ©plorons ta disparition.

Contribution personnelle

Mathieu, je voudrais, pour terminer, te dire quelques mots plus personnels. Nous collaborions depuis 2001 sans aucun accroc, nous comprenant souvent Ă  demi-mot. Nous avions une grande connivence scientifique, aimant tous les deux «?les choses au carrĂ©?» et nous prenions grand plaisir Ă  «?pousser ensemble du symbole?» pour arriver Ă  nous convaincre mutuellement du bienfondĂ© d’un Ă©noncĂ© de thĂ©orĂšme. Notre collaboration, c’était aussi notre chaleureuse amitiĂ©, le plaisir de nos longs Ă©changes Ă  propos de nos familles. Nous comparions les Ă©volutions de tes neveux et de mes petits-enfants qui sont du mĂȘme Ăąge, nous bavardions beaucoup, sur ta vie au LIP6, sur nos lieux de vie, sur nos questions de santĂ©, sur nos vacances, je te plaisantais sur ton peu d’appĂ©tence pour la campagne, mais tu me rĂ©pondais sur la beautĂ© des plages et le plaisir de se dorer au soleil sans rien faire. Merci pour tous ces moments, Mathieu. Ce sont de prĂ©cieux souvenirs. Ta disparition me laisse un grand vide et une trĂšs grande tristesse.


Texte lu par ThérÚse Hardin au cours des obsÚques de Mathieu le 28 octobre 2023.

Departure date : 10/12/2023

Two past PhD students (2007 - 2011) at Sorbonne University

2000-2022 Publications