JAUME Mathieu

Maître de Conférences [HDR]
Équipe : MoVe
Date de départ : 12/10/2023
https://lip6.fr/Mathieu.Jaume

Activité de recherche

Mathieu Jaume

Cher Mathieu,

Ta disparition le 12 octobre 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’ont 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’à toutes 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 ultra-pré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 rappelle 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 co-dirigé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 bien-fondé 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.

Date de départ : 12/10/2023

2 Docteurs 2007 - 2011

Publications 2000-2022

Mentions légales
Carte du site