Jean-raymond Abrial
personne
informaticien français
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.
Liens externes
Lien Wikipedia : https://fr.wikipedia.org/wiki/Jean-Raymond_Abrial
Lien Wikidata : https://www.wikidata.org/wiki/Q3169881
Propriétés
- date_deces
- +2025-05-2
- date_naissance
- +1938-11-0
- genre_personne
- masculin
- lieu_deces
- {"qid": "Q238661", "label": "5e arrondissement de Marseille"}
- lieu_naissance
- {"qid": "Q621", "label": "Versailles"}
- nationalite
- France
- occupation
- journaliste
- p106_all
- journaliste, ingénieur, informaticien ou informaticienne