John Backus (Filadelfia, 3 de dezembro de 1924 - Oregón, 17 de março de 2007 ) foi um informático estadounidense, ganhador do Prêmio Turing em 1977 por seus trabalhos em sistemas de programação de alto nível, em especial por seu trabalho com FORTRAN.
Para evitar as dificuldades de programação das calculadoras de sua época, em 1954 Backus encarregou-se da direcção de um projecto de investigação em IBM para o projecto e realização de uma linguagem de programação mais próximo à anotação matemática normal. Desse projecto surgiu a linguagem FORTRAN, o primeiro das linguagens de programação de alto nível que teve um grande impacto, inclusive comercial, na emergente comunidade informática.
Depois da realização de FORTRAN, Backus foi um membro muito activo do comité internacional que se encarregou do projecto de linguagem ALGOL. Nesse contexto propôs uma anotação para a representação das gramáticas usadas na definição de uma linguagem de programação (os telefonemas gramáticas livres de contexto). Tal anotação conhece-se como BNF, ou Forma de Naur e Backus (Backus-Naur Form) e une ao nome de Backus ao de Peter Naur, um informático europeu do comité ALGOL que contribuiu a sua definição.
Nos anos 1970, Backus interessou-se sobretudo pela Programação funcional, e projectou a linguagem de programação FP, descrito no texto que lhe serviu para ganhar o prêmio Turing, "Can Programming bê Liberated from the Von Neumann Style?" Trata-se de uma linguagem de uso fundamentalmente académico, que no entanto animou um grande número de investigações. O projecto FP, transformado em FL, terminou-se quando Backus se aposentou em IBM, em 1991.
John Backus faleceu no sábado 17 de março de 2007, à idade de 82 anos em sua casa em Ashland, Oregón por causas naturais, de acordo a declaração de sua família.[1]
Modelo:ORDENAR:Backus, John