Category:Corrado Böhm

**Corrado Böhm**
	Italian mathematician and computer scientist (1923-2017)
	Upload media
	Wikipedia
Date of birth	17 January 1923; Milan
Date of death	23 October 2017; Rome
Country of citizenship	Kingdom of Italy (1923–1946); Italy (1946–2017);
Educated at	ETH Zurich; Swiss Federal Institute of Technology in Lausanne;
Doctoral advisor	Eduard Stiefel; Paul Bernays;
Doctoral student	Giorgio Ausiello; Mariangiola Dezani-Ciancaglini; Stefano Guerrini; Simona Ronchi Della Rocca;
Occupation	mathematician; computer scientist; engineer; university teacher; logician;
Employer	Sapienza University of Rome; University of Turin;
Member of	Academia Europaea (AE section Informatics, 1990–);
Field of work	computer science; structured programming; constructivism; lambda calculus; combinational logic; functional programming; programming language semantics;
Work location	Turin; Rome;
Award received	EATCS award (2001); honorary doctor of the University of Milan (1994);
	official website
Authority file
	Q943361; ISNI: 0000000109329425; VIAF ID: 109309378; GND ID: 17200652X; Library of Congress authority ID: n81062398; IdRef ID: 101325525; Libraries Australia ID: 36132612; NL CR AUT ID: skuk0001757; National Library of Israel ID (old): 002180540; Nationale Thesaurus voor Auteursnamen ID: 069495963; NORAF ID: 90380875; NUKAT ID: n99041104; National Library of Israel J9U ID: 987007444563205171; NACSIS-CAT author ID: DA01871576; SBN author ID: SBLV150333; Mathematics Genealogy Project ID: 54451
	Reasonator; Scholia; Wikidocumentaries; PetScan; statistics; WikiMap; Locator tool; KML file; Search depicted;

Media in category "Corrado Böhm"

The following 2 files are in this category, out of 2 total.

CorradoBoemETAPS2013 2013-03-22 0.33.36.jpg 3,264 × 2,448; 1.9 MB
FINAC 55.jpg 388 × 272; 87 KB

Category:Corrado Böhm

Media in category "Corrado Böhm"

Navigation menu

Search