Corrado Böhm#

Corrado Böhm
Sadly, this member passed away.
Membership Number:861
Membership type:ORDINARY
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

Imprint Privacy policy « This page (revision-19) was last changed on Monday, 14. June 2021, 13:59 by Kaiser Dana
  • operated by