Corrado Böhm

Creatorii calculatorului FINAC: din stânga, Corrado Böhm, Paolo Ercoli , Wolf Gross , Aldo Ghizzetti , Mauro Picone , Giorgio Sacerdoti , Roberto Vacca , Enzo Aparo și Dino Dainelli .

Corrado Böhm ( Milano , 17 ianuarie 1923 - Roma , 23 octombrie 2017 ) a fost un matematician și italian computerizat , profesor emerit al Universității „La Sapienza” din Roma .

Biografie

Student inginer, în 1942 a părăsit Italia în Elveția și și-a continuat studiile la École Polytechnique Fédérale din Lausanne , unde în 1946 a obținut diploma de inginer electronic. După război, s-a întors în Italia în 1951 . În 1954 și-a obținut doctoratul în matematică de la Școala Politehnică Federală din Zurich (ETH), cu o teză în care este definit un limbaj de programare și este propus pentru prima dată un compilator scris în același limbaj pentru a fi tradus (în cele ce urmează) programele de acest tip se vor numi compilatoare metacirculare ).

Din 1953 până în 1968 a fost cercetător la Roma la Institutul „ Mauro Picone ” pentru Aplicații de Calcul al CNR , unde a efectuat cercetări privind mașina Turing și limbaje de programare , lucrând mai ales cu Giuseppe Jacopini . Din 1959 până în 1969 a predat la Universitatea din Pisa și la Universitatea din Roma . Din 1970 este profesor la Universitatea din Torino unde a organizat Institutul de Științe ale Informației, al doilea în Italia după cel din Pisa . Din 1974 este profesor la Universitatea „La Sapienza” din Roma.

Studiile sale asupra mașinii Turing și arhitectura lui von Neumann au condus în 1966 la enunțarea, în colaborare cu Giuseppe Jacopini, a unei teoreme de mare interes științific, Teorema Böhm-Jacopini .

Cercetările sale ulterioare s-au concentrat în principal pe calculul Lambda și logica combinatorie . Dintre numeroasele sale contribuții în acest domeniu, cea mai cunoscută este așa-numita Teoremă a Separării sau Teorema lui Böhm , relevantă pentru semantica limbajelor de programare.

În 1994 a fost acordat un grad onorific de la Universitatea din Milano .

Publicații principale

• Calculatoare digitale. Du déchiffrage des formulas mathématiques par la machine même dans la conception du program , Annals of Mat. pur și aplicat , seria IV, volumul XXXVII, 1-51, 1954.
• Pe o familie de mașini Turing și limbajul de programare aferent , ICC Bull. , 3, 185-194, iulie 1964.
• cu Giuseppe Jacopini, Diagramele de flux, Mașini și limbi Turing cu numai două reguli de formare , Com. ACM , 9 (5): 366-371,1966.
• Unele proprietăți ale formelor normale β-η în calculul λ-K , Publ. INAC , n. 696, Roma, 1968.
• cu Alessandro Berarducci, Sinteza automată a programelor Lambda tipizate pe algebre termice, Informatică teoretică , 39: 135-154, 1985.
• Programare funcțională și algebre combinatorii , MFCS , Carlsbad, Czecoslovacia, eds MP Chytil, L. Janiga și V. Koubek, LNCS 324 , 14-26, 1988.

Elemente conexe

• Teorema lui Böhm-Jacopini

Alte proiecte

• Wikimedia Commons conține imagini sau alte fișiere despre Corrado Böhm

linkuri externe

• Site-ul oficial , pe corradobohm.it .
• ( EN ) Corrado Böhm , la Mathematics Genealogia Project , North Dakota State University.
• Universitatea La Sapienza , Biografie , septembrie 2010
• Universitatea din Trier , o colecție de contribuții în cinstea lui Corrado Böhm cu ocazia împlinirii a 70 de ani , Informatică teoretică , volumul 121, numerele 1 și 2, 1993.
• Luca Spinelli , Interviu privind situația IT italiană , aprilie 2007

Portal Biografii	Portal IT
Portal de inginerie	Portalul de matematică