Jean-Raymond Abrial: A Pioneer of Formal Methods (in 4 slides)
Gedenkschrift for Jean-Raymond Abrial, ABZ 2026, Tokyo
Early Life and Career
1938, birth in Versailles
Military Prytanée of La Flèche (Secondary school)
1958, Ecole Polytechnique, Paris
1960, Engineer from the École Polytechnique, Naval Engineering Graduate
Master's studies at Stanford University
2 years at the Naval Programming Center, Paris
Langage LTR, Real-Time Language
First publication : 1966 Abrial, Bourgne, Yvon, Modular programming applied to a real-time military system
DBMS Socrate, Data Semantics, Z (Grenoble)
1968 J.R. Abrial arrives in Grenoble. In two years (1969-70) with a team of 3 PhD students he develops the Socrate DBMS which will later be called Clio.
Jean-Raymond Abrial. DATA SEMANTICS.
Data Base Management 1974, IFIP, Apr 1974,
Cargèse (Corsica)
Publications Z of the EDF Research and Development Department, Clamart
Formal Methods: The Z Notation, B-Method, and Event-B
2 mai 1979 « Green is ADA », Jean Ichbiah, J.-R Abrial et al.
1980 Specification Language, J.R. Abrial Consultant, S .A., Schuman Intermetrics, B. Meyer E.D.F,
1979-80 Invited by Tony Hoare to the PRG in Oxford
1984, Jean-Raymond Abrial, Spécifier ou comment maitriser l'abstrait", TSI, Vol. 3, N°3, (Specifying, or how to master the abstract).
1996 Extending B without changing it (for developing distributed systems,
1966 J.R. Abrial, The B-Book, Assigning Programs to Meanings
2003 B#, Toward a synthetis between Z and B
2004 The Rodin project begins with Laurent Voisin et al.,
professor at ETH Zurich (2004-09)
2010 Modeling in Event-B
Recognition and Legacy
2008, Honorary Doctorate from the University of Sherbrooke(Quebec)
2006 Member of the Academia Europae
2017 International Scientific and Technological Cooperation Award of the RPC 69 in the presence of President Xi Jinping, the Prime Minister and the Vice Prime Minister
Jean-Raymond will publish until 2025; from 2006 to 2025, we have identified 43 publications.
B lives in several subways around the world.
J.-R will participate in several research projects,the last :
Enrichissement de EventB et de RODIN : EventB-
Rodin-Plus _x0015_ EBRP-EventB-Rodin-Plus
Comments
Post a Comment