Corrado Böhm
| Use attributes for filter ! | |
| Gender | Male |
|---|---|
| Death | 8 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.