Corrado Böhm
Use attributes for filter ! | |
Gender | Male |
---|---|
Death | 7 years ago |
Date of birth | January 17,1923 |
Zodiac sign | Capricorn |
Born | Milan |
Italy | |
Date of died | October 23,2017 |
Died | Rome |
Italy | |
Alma mater | ETH Zürich |
Field | Computer Science |
Books | Lambda-Calculus and Computer Science Theory |
Academic advisors | Paul Bernays |
Eduard Stiefel | |
Notable student | Giorgio Ausiello |
Simona Ronchi Della Rocca | |
Mariangiola Dezani-Ciancaglini | |
Education | ETH Zürich |
Academic advisor | Paul Bernays |
Eduard Stiefel | |
Date of Reg. | |
Date of Upd. | |
ID | 828678 |
Corrado Böhm Life story
Corrado Böhm was a Professor Emeritus at the University of Rome "La Sapienza" and 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.