![cover image](https://wikiwandv2-19431.kxcdn.com/_next/image?url=https://upload.wikimedia.org/wikipedia/commons/thumb/9/93/CorradoBoemETAPS2013_2013-03-22_0.33.36.jpg/640px-CorradoBoemETAPS2013_2013-03-22_0.33.36.jpg&w=640&q=50)
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 | ![]() ![]() |
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