Jean-Raymond Abrial
Jean-Raymond Abrial | |
|---|---|
J.-R. Abrial in 2012 | |
| Born | 6 November 1938 Versailles, France |
| Died | 26 May 2025 (aged 86) Marseille, France |
| Alma mater | École Polytechnique Stanford University |
| Known for | Z notation, B-Method, Event-B |
| Awards | Member of the Academia Europaea (2006) |
| Scientific career | |
| Fields | Computer science, software engineering, formal methods |
| Institutions | Oxford University Computing Laboratory, ETH Zurich |
| Patrons | Tony Hoare |
Jean-Raymond Abrial (6 November 1938 – 26 May 2025) was a French computer scientist and inventor of the Z and B formal methods.