Corrado Böhm
Male, Person
1923 –
Who is Corrado Böhm?
Corrado Böhm, Professor Emeritus at the University of Rome "La Sapienza", is a computer scientist known especially for his contributions to the theory of structured programming, constructive mathematics, combinatory logic, lambda-calculus, and the semantics and implementation of functional programming languages. In his PhD dissertation he describes for the first time a full meta-circular compiler, that is a translation mechanism of a programming language, written in that same language. His most influential contribution is the so-called structured program theorem, published in 1966 together with Giuseppe Jacopini. In lambda-calculus, he established an important separation theorem between normal forms.
A special issue of Theoretical Computer Science was dedicated to him in 1993, on his 70th birthday. He is the recipient of the 2001 EATCS Award for a distinguished career in theoretical computer science.
We need you!
Help us build the largest biographies collection on the web!
- Born
- 1923
Milan - Also known as
- Corrado Bohm
- Nationality
- Italy
- Employment
- University of Rome La Sapienza
Submitted
on July 23, 2013
Citation
Use the citation below to add to a bibliography:
Style:MLAChicagoAPA
"Corrado Böhm." Biographies.net. STANDS4 LLC, 2024. Web. 6 May 2024. <https://www.biographies.net/people/en/corrado_bohm>.
Discuss this Corrado Böhm biography with the community:
Report Comment
We're doing our best to make sure our content is useful, accurate and safe.
If by any chance you spot an inappropriate comment while navigating through our website please use this form to let us know, and we'll take care of it shortly.
Attachment
You need to be logged in to favorite.
Log In