John Backus

John Backus
PIerre.Lescanne · CC BY-SA 4.0 · source
Name	John Backus
Birth date	December 3, 1924
Birth place	Philadelphia, Pennsylvania, United States
Death date	March 17, 2007
Death place	Ashland, Oregon, United States
Nationality	American
Fields	Computer science, Mathematics, Electrical engineering
Workplaces	IBM
Alma mater	Columbia University, University of Virginia
Known for	FORTRAN, Backus–Naur Form, functional programming
Awards	Turing Award, National Medal of Science

John Backus was an American computer scientist and mathematician who led the team that developed FORTRAN and introduced Backus–Naur Form. His work at IBM shaped early programming language design, compiler technology, and formal syntax representation, influencing researchers across computer science and software engineering. Backus's later advocacy for function-level programming sparked debates involving figures from Alonzo Church to Peter Landin and institutions such as Princeton University and IBM Research.

Early life and education

Born in Philadelphia, Pennsylvania, Backus attended secondary school before enrolling at the University of Virginia and later Columbia University, where he studied mathematics and physics. During World War II he served in roles that exposed him to early computational devices and numerical methods used by United States Navy operations and scientific projects associated with wartime research. After military service he completed degrees that combined influences from mathematicians and engineers at Columbia and institutions connected to the postwar growth of computing, including collaborations with personnel later affiliated with Harvard University and Massachusetts Institute of Technology.

Career and contributions

Backus joined International Business Machines (IBM) in the early 1950s and became head of the team that created one of the first high-level languages. At IBM he worked alongside researchers who later held positions at Stanford University, University of California, Berkeley, and Carnegie Mellon University. His innovations included leadership in compiler construction, performance optimization for the IBM 701 and IBM 704 systems, and the formal description of programming language syntax that influenced committees and standards bodies like the American National Standards Institute and international groups linked to ISO. Backus engaged with contemporaries such as Grace Hopper, John von Neumann, Peter Naur, and Alan Perlis, contributing to debates about machine-independent programming, software portability, and the role of formal methods in software production. His writing and presentations at venues associated with Association for Computing Machinery and universities including Princeton University and Yale University shaped curricula and research agendas in the nascent field of theoretical and applied computing.

FORTRAN and programming language design

Backus led the development of the FORTRAN project at IBM, producing a language and optimizing compiler that dramatically reduced the effort of scientific and engineering programming on systems like the IBM 704. FORTRAN's design drew on numerical analysis practices used in projects at Los Alamos National Laboratory and computational methods promoted at National Bureau of Standards laboratories. The compiler innovations pioneered techniques later formalized in textbooks used at Massachusetts Institute of Technology and Stanford University and implemented in production systems across Bell Labs, Honeywell, and academic computing centers. Backus introduced Backus–Naur Form (BNF) to describe syntactic structure, a notation that became foundational in language specification and was adopted by committees such as those forming standards for ALGOL and later languages like C, Pascal, Ada, and Java. His 1977 Turing Award lecture criticized prevailing programming paradigms and proposed a function-level language approach, stimulating work by theorists including Rutger van Pelt, John McCarthy, Haskell Curry, and practitioners in functional programming communities at University of Cambridge and University of Edinburgh.

Awards and honors

Backus received numerous awards recognizing his influence on computer science and mathematics. He was awarded the ACM Turing Award and the National Medal of Science for his pioneering work on language design and compiler technology. Professional societies such as the Institute of Electrical and Electronics Engineers and the Association for Computing Machinery honored him with fellowships and lifetime achievement recognitions. Universities including Princeton University and University of Pennsylvania conferred honorary degrees, and standards organizations cited his contributions in documents influencing language standardization efforts like those for FORTRAN 77 and subsequent revisions.

Personal life and legacy

Backus's personal interests included music and poetry, and he maintained friendships with colleagues across industry and academia, connecting communities at institutions such as IBM Research, Bell Labs, and leading computer science departments. His advocacy for formal methods and higher-level abstraction influenced successors at MIT, Harvard University, and Carnegie Mellon University, and his work remains a cornerstone in curricula at schools including Stanford University and University of California, Berkeley. The FORTRAN language and BNF notation persist in legacy systems and in modern language theory, informing parsers, compilers, and standards used by organizations like NASA and laboratories at Los Alamos National Laboratory. Backus's critiques and proposals fostered movements that led to functional languages and influenced later designers of languages such as ML, Haskell, Lisp, and Scala, ensuring his place in the histories compiled by museums and archives at Computer History Museum and university collections.

Category:American computer scientists Category:Recipients of the Turing Award Category:1924 births Category:2007 deaths