Corrado Böhm
Corrado Böhm | |
|---|---|
Corrado Böhm's 90th birthday celebration at ETAPS 2013 in Rome, Italy | |
| Born | 17 January 1923 |
| Died | 23 October 2017 (aged 94) |
| Nationality | Italian |
| Alma mater | ETH Zürich |
| Scientific career | |
| Fields | Computer science |
| Institutions | University of Rome "La Sapienza" |
| Doctoral advisor | |
| Doctoral students | |
Corrado Böhm (17 January 1923 – 23 October 2017) was an Italian computer scientist and Professor Emeritus at the University of Rome "La Sapienza", 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.