Corrado Böhm
From Wikipedia, the free encyclopedia
Corrado Böhm (1923ko urtarrilaren 17a - 2017ko urriaren 23a) "La Sapienza" Erromako Unibertsitateko irakasle emeritua izan zen eta informatikari ezaguna da honako arloetan egindako ekarpenengatik: programazio egituratuaren teorian, matematika konstruktiboan, logika konbinatorioan, lambda kalkuluan eta semantika eta programazio funtzionalen inplementazioan.
Datu azkarrak Bizitza, Jaiotza ...
Corrado Böhm | |
---|---|
Bizitza | |
Jaiotza | Milan, 1923ko urtarrilaren 17a |
Herrialdea | Italiako Erresuma (1923ko urtarrilaren 17a - 1946ko ekainaren 18a) Italia (1946ko ekainaren 18a - 2017ko urriaren 23a) |
Heriotza | Erroma, 2017ko urriaren 23a (94 urte) |
Hezkuntza | |
Heziketa | ETH Zürich Swiss Federal Institute of Technology in Lausanne (en) |
Tesi zuzendaria | Eduard Stiefel (en) Paul Bernays (en) |
Doktorego ikaslea(k) | Giorgio Ausiello (en) Mariangiola Dezani-Ciancaglini (en) Stefano Guerrini (en) Simona Ronchi Della Rocca (en) |
Hizkuntzak | italiera |
Jarduerak | |
Jarduerak | matematikaria, informatikaria, ingeniaria, unibertsitateko irakaslea eta logikaria |
Lantokia(k) | Turin eta Erroma |
Enplegatzailea(k) | Erromako La Sapienza Unibertsitatea Turingo Unibertsitatea |
Jasotako sariak | ikusi
|
Kidetza | Academia Europaea (en) |
corradobohm.it |
Itxi