Professor Corrado Böhm

Professor Emeritus at the University of Rome "La Sapienza", he is a computer scientist known especially for his contributions to the theory of structured programming, constructive mathematics, combinatory logic, lambda-calculus, and the semantics and implementation of functional programming languages. A special issue of Theoretical Computer Science was dedicated to him on the occasion of his 70th birthday. Also an author/co-author of several publications, including "On a family of Turing machines and the related programming language".