Corrado Böhm#
Sadly, this member passed away. | |
Membership Number: | 861 |
Membership type: | ORDINARY |
Section: | INFORMATICS |
Elected: | 1990 |
Main Country of Residence: | ITALY |
Corrado Böhm passed away October 23, 2017.
Positions Held
- Professor Emeritus at the University of Rome "La Sapienza"
- 1970 First professorship in Italy in Computer Science at the University of Turin
- 1959-1969 Professor of Numerical Analysis, Programming Techniques and Mathematical Logic at the Universities of Pisa and Rome
- 1953-1968 Full time researcher at the INAC-CNR in Rome
Fields of Scholarship
- Theory of computing
- Constructive Mathematics
- Combinatory logic
- Lambda-calculus
- Semantics and implementation of functional programming languages