Jean-Raymond Abrial est un informaticien français, actuellement professeur à l'École polytechnique fédérale de Zurich, connu dans le monde du développement logiciel comme le créateur de la notation formelle Z et par la suite de la méthode de spécification formelle B (méthodes formelles). Il a d'ailleurs participé à l'implémentation de la suite d'outils utilisant cette méthode.
Il a également fait partie de l'équipe qui a conçu la première version du langage de programmation Ada.
Il est aujourd'hui intéressé par la version événementielle de sa méthode et par la nouvelle mouture de celle-ci le "B #" (B Sharp) avec le projet Rodin.