Corrado Böhm#


Corrado Böhm
Email:
Membership Number:861
Membership type:ORDINARY
Main Country of Residence:ITALY
Section:INFORMATICS
Username:cbohm
Elected:1990





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-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


Imprint Privacy policy « This page (revision-18) was last updated on Monday, 10. July 2017, 12:23 by Kaiser Dana
  • operated by