Academic

Jean-Raymond Abrial

French computer scientist (1938–2025)

Life: 1938 – 2025
Born: November 6, 1938
Died: May 26, 2025
Nationality: France

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

§Related entries

Jacques Pitrat

French artificial intelligence scientist (1934–2019)

1934 – 2019 · France

Jean Paul Jacob

1937 – 2019 · Brazil

Louis Pouzin

Louis Pouzin

French computer scientist and Internet pioneer (born 1931)

1931 – present · France

Maurice Nivat

Maurice Nivat

French computer scientist (1937–2017)

1937 – 2017 · France

Aleksandr Grammatin

Soviet and Russian scientist (1931–2014)

1931 – 2014 · Russia

Alexander G. Fraser

British-American computer scientist (1937–2022)

1937 – 2022 · United States

$cat external_references.txt

wikipedia.org