Corrado Böhm Memorial
Monday July 9th 2018 from 16:00 to 18:00
Corrado Böhm, professor emeritus at the University of Rome âLa Sapienzaâ, left us on October 23 at the age of 94. He has been an exceptionally talented and creative researcher: his results have deeply influenced the development of theoretical computer science. In Corradoâs PhD thesis a language, a machine and a compiler were designed together for the first time. No compiler was written in its own language before. The seminal result (more than 200 citations in the seventies) nowadays known as the Böhm-Jacopini theorem has been a theoretical basis of structured programming, opening the way to all generations of modern programming languages. In the sixties, Corrado was one of the first scientists to investigate the link between lambda-calculus and theoretical computer science, a fruitful research field which later became established as the foundation of programming language semantics. The Böhm theorem suggested the representation of lambda-terms as Böhm trees, widely used in the literature. His work and ideas have been strongly influential in the domain of lambda calculus ans applications to programming but also, more generally, for the whole field of programming theory.