John Warner Backusest un informaticien américain.
Il a été le directeur de l’équipe qui a utilisé pour la première fois un langage de programmation de haut niveau, et est le créateur de la Forme de Backus-Naur (BNF). Il a aussi mené de nombreuses recherches sur la programmation fonctionnelle qu’il a contribué à populariser.
Il reçoit le Prix Turing en 1977 pour « son influence et sa contribution au développement des langages de programmation de haut niveau, notamment à travers son travail sur FORTRAN, et pour la publication des procédures formelles servant à la spécification des langages de programmation ».
