Jean-Raymond Abrial
Jean-Raymond Abrial (* 6. November 1938 in Versailles; † 26. Mai 2025 in Marseille[1]) war ein französischer Informatiker.
Er wurde bekannt für die Entwicklung der Formalen Methoden Z-Notation und B sowie Event-B, die auf B aufbaut.
Leben
[Bearbeiten | Quelltext bearbeiten]Jean-Raymond Abrial absolvierte 1958 die polytechnische Schule in Grenoble und studierte an der Universität in Grenoble Meerestechnik.[2] Von 1963 bis 1965 absolvierte er sein Masterstudium in Informatik an der US-amerikanischen Stanford University.[2] Er arbeitete als Konsulent in der Industrie und ab 1979 in Tony Hoares Forschungsgruppe an der britischen University of Oxford.[3] 2004 bis 2009 war Abrial an der ETH Zürich.[4]
Abrials Methoden kommen in sicherheitskritischen System vor allem im Transportwesen zum Einsatz, so zum Beispiel in der ersten fahrerlosen U-Bahn in Shanghai und in Metropolen wie Paris, Hongkong oder New York.[5][6] Mit seiner 1974 veröffentlichten Publikation Data Semantics legte Abrial den Grundstein zu einem formalen Zugang zur Datenmodellierung.
Anerkennungen
[Bearbeiten | Quelltext bearbeiten]- 2006: Aufnahme in die Academia Europaea[7]
- 2008: Ehrendoktorat der Université de Sherbrooke, Fakultät für Naturwissenschaften[8]
- 2016: National Science and Technology International Cooperation Award der Volksrepublik China[9]
Schriften (Auswahl)
[Bearbeiten | Quelltext bearbeiten]- Modeling in Event-B: system and software engineering. Cambridge University Press, 2010 (PDF-Version).
- The B-book. Cambridge University Press, 1996.
- Rodin: an open toolset for modelling and reasoning in Event-B. In: International journal on software tools for technology transfer. Vol. 12, 2010, S. 447–466, doi:10.1007/s10009-010-0145-y (PDF-Version).
- Data semantics. Université scientifique et médicale, 1974.
Weblinks
[Bearbeiten | Quelltext bearbeiten]
- Jean-Raymond Abrial im Mathematics Genealogy Project (englisch)
- Event-b.org
Einzelnachweise
[Bearbeiten | Quelltext bearbeiten]- ↑ M. Jean-Raymond ABRIAL. In: Le Figaro. Abgerufen am 8. Juni 2025 (französisch).
- ↑ a b ACONIT-PSTC: Jean-Raymond Abrial, une vie de recherche basée sur la notion informatique de donnée. In: echosciences-grenoble.fr. 16. Februar 2022, abgerufen am 7. Juni 2025 (französisch).
- ↑ C. B. Jones, A. W. Roscoe: Chapter 1 – Insight, inspiration and collaboration. (PDF; 244 kB) In: cs.ox.ac.uk. Abgerufen am 7. Juni 2025 (englisch).
- ↑ Alumni Information Security Group ETH Zürich. In: infsec.ethz.ch. Abgerufen am 7. Juni 2025 (englisch).
- ↑ French scientist behind Shanghai automated metro train receives honor. In: ecnu.edu. 20. Januar 2017, abgerufen am 7. Juni 2025 (englisch).
- ↑ Jean-Raymond Abrial Docteur d’honneur en sciences. In: usherbrooke.ca. 13. September 2008, abgerufen am 7. Juni 2025 (englisch).
- ↑ Academy of Europe: Abrial Jean-Raymond. Abgerufen am 7. Juni 2025.
- ↑ Doctorats honorifiques Faculté des sciences. In: usherbrooke.ca. Abgerufen am 7. Juni 2025 (französisch).
- ↑ ECNU foreign expert Jean-Raymond Abrial Won the International Science and Technology Cooperation Award. Abgerufen am 7. Juni 2025.
| Personendaten | |
|---|---|
| NAME | Abrial, Jean-Raymond |
| KURZBESCHREIBUNG | französischer Informatiker |
| GEBURTSDATUM | 6. November 1938 |
| GEBURTSORT | Versailles |
| STERBEDATUM | 26. Mai 2025 |
| STERBEORT | Marseille |