Corrado Böhm

Corrado Böhm
Corrado Böhm
	Corrado Böhm's 90th birthday celebration at ETAPS 2013 in Rome, Italy
Born	17 January 1923; Milan
Died	23 October 2017 (aged 94); Rome
Nationality	Italian
Alma mater	ETH Zürich
	Scientific career
Fields	Computer science
Institutions	University of Rome "La Sapienza"
Doctoral advisor	Eduard Stiefel; Paul Bernays;
Doctoral students	Giorgio Ausiello; Mariangiola Dezani-Ciancaglini;

Corrado Böhm (17 January 1923 – 23 October 2017) 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.

This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.