Jean-Raymond Abrial

Computer Scientist

1938 –

44 Views

Who is Jean-Raymond Abrial?

Jean-Raymond Abrial is a French computer scientist and inventor of the Z and B formal methods.

J.-R. Abrial is the father of the Z notation, during his time at the Programming Research Group within the Oxford University Computing Laboratory, and later the B-Method, two leading formal methods for software engineering. He is the author of The B-Book: Assigning Programs to Meanings. For much of his career he has been an independent consultant, as much at home working with industry as academia. Latterly, he became a Professor at ETH Zurich in Switzerland.

We need you!

Help us build the largest biographies collection on the web!

Born
1938
France
Also known as
  • J. R. Abrial
Nationality
  • France
Profession

Submitted
on July 23, 2013

Citation

Use the citation below to add to a bibliography:

Style:MLAChicagoAPA

"Jean-Raymond Abrial." Biographies.net. STANDS4 LLC, 2022. Web. 17 Jan. 2022. <https://www.biographies.net/people/en/jean-raymond_abrial>.

Discuss this Jean-Raymond Abrial biography with the community:

0 Comments


    Browse Biographies.net