Jean-Raymond Abrial

French computer scientist (1938–2025)