Corrado Böhm

Make payments with PayPal - it's fast, free and secure! Learn about supporting IT History Society
Corrado Böhm
Unknown
Report a copyright violation Submit an image you own
  • (b.) 1923 January 17 - (d.) 2017 October 23

Bio/Description

Known for his contributions to the theory of structured programming, constructive mathematics, combinatory logic, lambda-calculus, and the semantics and implementation of functional programming languages, Böhm was a computer scientist and Professor Emeritus at the University of Rome "La Sapienza."

Böhm was also an author and co-author of several publications, including "On a family of Turing machines and the related programming language." A special issue of Theoretical Computer Science was dedicated to him on the occasion of his 70th birthday.

Citations:

Courtesy of Wikipedia
Courtesy of Corrado Bohm
Courtesy of University of Rome La Sapienza
Legacy Content: Unknown Author
Edit this page
Nominate someone to our Honor Roll

  • Date of Birth:

    1923 January 17

  • Date of Death:

    2017 October 23

  • Gender:

    Male

  • Noted For:

    Known for his contributions to the theory of structured programming, constructive mathematics, combinatory logic, lambda-calculus, and the semantics and implementation of functional programming languages

  • Category of Achievement:

    Computer Scientist - Software/Mathematics