Corrado Böhm#

Corrado Böhm
Membership Number:861
Membership type:ORDINARY
Main Country of Residence:ITALY

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