À la mémoire de

Jean-Raymond Abrial
6 novembre 1938 — 26 mai 2025
Versalles · 5th arrondissement of Marseille
0 bougies allumées
Les contributions sont relues avant publication (15 à 60 minutes).
Jean-Raymond Abrial, né le 6 novembre 1938 à Versailles et mort le 26 mai 2025 à Marseille, est un informaticien français. Ancien élève de l'École polytechnique, il est professeur à l'École polytechnique fédérale de Zurich, connu dans le monde du développement logiciel comme le créateur de la notation formelle Z et par la suite de la méthode B, puis Event-B. Il a d'ailleurs participé à l'implémentation de la suite d'outils utilisant cette méthode.
— Source: Wikipedia (CC-BY-SA).
Condoléances et souvenirs
Soyez la première personne à laisser quelques mots.
Partager ce mémorial
Créer son avis de décès ne prend que quelques minutes. Il sera publié en moins d'une heure, et pour toujours.
Créer un avis de décès