Academic

Corrado Böhm

Italian computer scientist (1923–2017)

Life

1923 – 2017

Born

January 17, 1923

Died

October 23, 2017

Nationality

Italy

Corrado Böhm was an Italian computer scientist and Professor Emeritus at the University of Rome "La Sapienza", 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.

§Related entries

Academic

Luigi Dadda

Italian computer engineer (1923–2012)

1923 – 2012 · Italy

Academic

Aleksandr Kronrod

Soviet mathematician and computer scientist (1921–1986)

1921 – 1986

Academic

Alick Glennie

British computer scientist

1925 – 2003

Academic

Aravind Joshi

American linguist (1929–2017)

1929 – 2017 · United States

Academic

Bob Bemer

American aerospace engineer

1920 – 2004 · United States

Academic

Bruce Arden

American computer scientist (1927–2021)

1927 – 2021 · United States