Corrado Böhm#
| Email: | |
| Membership Number: | 861 |
| Main Country of Residence: | |
| Section: | INFORMATICS |
| Username: | cbohm |
Present and Previous Positions
- Professor Emeritus at the University of Rome "La Sapienza"
- 1970 first professorship in Italy in Computer Science at the University of Turin
- 1959 to 69 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
| operated by | 
|