Corrado Böhm

URI: https://gptkb.org/entity/Corrado_Böhm

GPTKB entity

Predicate	Object
gptkbp:instanceOf	gptkb:person
gptkbp:almaMater	gptkb:ETH_Zurich
gptkbp:awardReceived	gptkb:Fellow_of_the_Association_for_Computing_Machinery gptkb:EATCS_Award
gptkbp:birthDate	1923-01-17
gptkbp:birthPlace	gptkb:Milan,_Italy
gptkbp:deathDate	2017-10-23
gptkbp:doctoralAdvisor	gptkb:Eduard_Stiefel
gptkbp:doctoralStudent	gptkb:Silvio_Micali gptkb:Giuseppe_Longo gptkb:Mariangiola_Dezani-Ciancaglini
gptkbp:education	gptkb:ETH_Zurich
gptkbp:field	gptkb:lambda_calculus gptkb:logic theoretical computer science
https://www.w3.org/2000/01/rdf-schema#label	Corrado Böhm
gptkbp:knownFor	gptkb:Böhm's_theorem gptkb:Böhm–Berarducci_encoding gptkb:Böhm–Jacopini_theorem
gptkbp:language	gptkb:German gptkb:Italian English
gptkbp:nationality	gptkb:Italian
gptkbp:notableWork	gptkb:Calculatrices_digitales
gptkbp:occupation	gptkb:computer_scientist gptkb:mathematician
gptkbp:bfsParent	gptkb:Silvio_Micali
gptkbp:bfsLayer	4