Jean-Raymond Abrial
personne informaticien français
Aussi : J.-R. Abrial
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 (promotion 1958), 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 (voir méthodes formelles), puis Event-B. Il a d'ailleurs participé à l'implémentation de la suite d'outils utilisant cette méthode. — Wikipédia (CC BY-SA)
Nature : être humain
- décès
- mai 2025
- naissance
- novembre 1938
- genre
- masculin
- lieu de décès
- 5e arrondissement de Marseille
- lieu de naissance
- Versailles
- nationalité
- France
- occupation
- journaliste
Catégories : ingénieurs · journalistes · personnes · scientifiques
Mots du lexique : Jean nom propre, Raymond nom propre, Abrial nom propre