Universitaire

Corrado Böhm

Italian computer scientist (1923–2017)

Vie

1923 – 2017

Né(e) le

17 janvier 1923

Décédé(e) le

23 octobre 2017

Nationalité

Italie

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.

§Entrées associées

Universitaire

Luigi Dadda

Italian computer engineer (1923–2012)

1923 – 2012 · Italie

Universitaire

Aleksandr Kronrod

Soviet mathematician and computer scientist (1921–1986)

1921 – 1986

Universitaire

Alick Glennie

British computer scientist

1925 – 2003

Universitaire

Aravind Joshi

American linguist (1929–2017)

1929 – 2017 · États-Unis

Universitaire

Bob Bemer

American aerospace engineer

1920 – 2004 · États-Unis

Universitaire

Bruce Arden

American computer scientist (1927–2021)

1927 – 2021 · États-Unis