Corrado Böhm

Corrado Böhm Biografia
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
Inne informacje
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 .

Biografia

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 .

Honory i nagrody

Publikacje (wybór)

Uwagi i odniesienia

  1. (en) „  Corrado Böhm  ” na stronie Mathematics Genealogy Project
  2. (it) "  È morto Corrado Böhm - Maurizio Codogno  " , Il Post ,24 października 2017 r( czytaj online , sprawdzono 25 października 2017 r. )
  3. Böhm 1954 .
  4. Donald Knuth i Luis Trabb Pardo, „Wczesny rozwój języków programowania” , w: Nicholas C. Metropolis, J. Howlett i Gian-Carlo Rota (red.), A History of computing in the 20th century: zbiór esejów ze wstępem esej i indeksy , Nowy Jork, NY, Academic Press,1980( ISBN  9780124916500 , OCLC  13434539 ) , str.  197-273.
  5. Böhm i Jacopini 1966 .
  6. Böhm 1968 .
  7. Kodowanie Beyond Church: Izomorfizm Boehma-Berarducciego algebraicznych typów danych i polimorficznych wyrażeń lambda na stronie okmij.org.
  8. Corrado Böhm (redaktor), Tj. Rachunek lambda i teoria informatyki: Proceedings of the Symposium Held in Rome, 25-27 marca 1975 , Springer, coll.  „Lecture Notes in Computer Science, Volume 37”,1975, 370  pkt. ( ISBN  978-3-540-07416-8 ).
  9. Strona z nagrodami EATCS

Załączniki

Powiązane artykuły

Linki zewnętrzne