Corrado Böhm

Updated: 03/06/2020 by Computer Hope
Corrado Bohm

Name: Corrado Böhm

Born: January 17, 1923, in Milan, Italy

Death: October 23, 2017 (Age: 94)

Computer-related contributions

  • Professor Emeritus ("La Sapienza") at the University of Rome.
  • Computer scientist known for his contributions to the theory of structured programming, constructive mathematics, lambda calculus, combinatory logic, and the semantics and implementation of functional programming languages.
  • Introduced P′′ ("P double-prime"), the first imperative programming language without a GOTO statement proved to be Turing-complete, in 1964.

Significant publications

  • Calculatrices digitales. Du déchiffrage des formules mathématiques par la machine même dans la conception du programme (English: Digital calculators. Deciphering mathematical formulas by machine in program design) 1954).
  • On a family of Turing machines and the related programming language (1964).
  • Alcune proprietà delle forme normali nel K calcolo (English: Properties of normal forms in k-calculus) (1968).
  • Automatic Synthesis of typed Lambda-programs on Term Algebras (1985).
  • Functional Programming and Combinatory algebras (1988).

Honors and awards

  • EATCS Award for a distinguished career in theoretical computer science (2001).