GPTKB
Browse
Query
Compare
Download
Publications
Contributors
Search
Corrado Böhm
URI:
https://gptkb.org/entity/Corrado_Böhm
GPTKB entity
Statements (28)
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