Narodziny |
17 stycznia 1923 Mediolan |
---|---|
Śmierć |
23 października 2017 r(94) Rzym |
Narodowość | Włoski |
Trening |
Szwajcarski Federalny Instytut Technologii w Zurychu Szwajcarski Federalny Instytut Technologii w Lozannie |
Czynność | Informatyk |
Pracował dla | Uniwersytet Rzymski „La Sapienza” , Uniwersytet Turyński |
---|---|
Obszary | Informatyka , programowanie strukturalne , konstruktywizm , rachunek lambda , logika kombinacji ( en ) , programowanie funkcjonalne , semantyka języków programowania |
Członkiem | Academia Europaea (1990) |
Kierownicy prac dyplomowych | Eduard Stiefel , Paul Bernays |
Stronie internetowej | www.corradobohm.it |
Nagrody |
Doctor honoris causa z Uniwersytetu w Mediolanie (1994) Nagroda EATCS (2001) |
Corrado Böhm , urodzony dnia17 stycznia 1923w Mediolanie i zmarł dalej23 października 2017 rw Rzymie jest włoskim teoretykiem komputerowym .
Profesor emerytowany na Uniwersytecie Rzymskim "La Sapienza" , znany głównie ze swojego wkładu w teorię programowania strukturalnego , matematykę konstruktywną , logikę kombinatoryczną , rachunek lambda , semantykę i implementację, języki programowania funkcjonalnego .
Corrado Böhm studiował w Szwajcarii od 1942 r. W 1946 r. Uzyskał stopień inżyniera elektrotechniki w Federalnej Szkole Politechnicznej w Lozannie (która wówczas nosiła nazwę École polytechnique de l'Université de Lausanne (EPUL)), a następnie został naukowcem w ETH Zürich , gdzie zaczął koncentrować się na informatyce z okazji przybycia do Konrada Zuse Zuse Z4 maszynie , która została zainstalowana na ETH w 1950 roku uzyskał doktorat z matematyki w 1952 roku pod nadzorem Eduard Stiefel i Paul Bernays (który wprowadził go do maszyn Turinga ) z rozprawą zatytułowaną Cyfrowe kalkulatory rozszyfrowywania formuł logiczno-matematycznych przez samą maszynę w projektowaniu programu , opublikowaną następnie pod nieco innym tytułem. Opisuje kompletny kompilator , który jest bardziej meta-okólnik (en) , to znaczy który wykorzystuje mechanizmy tłumaczenia języka programowania napisanego w tym samym języku.
W 1951 roku Böhm wrócił do Włoch. Początkowo pracował w Olivetti , a następnie od 1953 roku w Istituto per le Applicazioni del Calcolo (it) w Consiglio Nazionale delle Ricerche w Rzymie (wtedy reżyserii Mauro Picone (it) do kogo miał na sukces). We współpracy z firmą Ferranti z Manchesteru instalowany jest tam pierwszy nowoczesny włoski komputer (FINAC) . Böhm jest odpowiedzialny za swoje operacje, a następnie staje się odpowiedzialny za programowanie aplikacji w analizie.
W latach sześćdziesiątych Böhm rozpoczął nauczanie na uniwersytetach w Rzymie i Pizie i zwrócił się ku informatyce teoretycznej. Wraz ze swoim uczniem Giuseppe Jacopini zademonstrował twierdzenie o programie strukturalnym (en) , zwane także „twierdzeniem Böhm-Jacopiniego”, które jest jednym z pionierskich artykułów programowania strukturalnego (lub „programowania bez Goto” według Edsgera W. Dijkstry ) . Twierdzenie głosi, że można formułować algorytmy wykorzystując jako struktury sterujące jedynie sekwencjonowanie instrukcji, testy rozgałęziające kierowane przez ocenę wyrażenia boolowskiego lub iterację części programu wewnątrz pętli .
W 1960 roku również, Böhm rozwinął swoje badania na rachunku lambda z Alonzo Church i programowania funkcyjnego . W 1968 roku zademonstrował ważne twierdzenie, zgodnie z którym dwa wyrażenia rachunku lambda, które mają różne formy normalne dla β-konwersji i η-konwersji, nie mogą być identyczne. Wraz z Wolfem Grossem Böhm rozwija funkcjonalny język programowania oparty na rachunku lambda i logice kombinatorycznej Haskella Curry'ego . Proponują one abstrakcyjną maszynę Cuch jako model dla realizacji tego języka.
Wraz z Alessandro Berarducci, Böhm ustanawia izomorfizm między ściśle dodatnimi typami danych algebraicznych a polimorficznymi wyrażeniami lambda, znanymi jako kodowanie Böhma-Berarducciego.
W 1968 roku został mianowany profesorem zwyczajnym w Modenie , a następnie na Uniwersytecie w Turynie , gdzie stworzył wydział informatyki, który początkowo składał się z jednego biura i IBM 360, z którego korzystały również inne wydziały. Od 1974 roku Böhm był profesorem w Rzymie, gdzie również wcześnie zorganizował międzynarodową konferencję na temat rachunku lambda.
Od 1964 roku Böhm był członkiem wraz z Daną Scott , Christopherem Stracheyem i innymi członkami grupy roboczej IFIP 2.2 ( formalny opis koncepcji programistycznych ). Od 1988 był członkiem Grupy Roboczej IFIP ds . Programowania Funkcjonalnego .