Corrado Böhm

Summary

Corrado Böhm is a human^[1]. His place of birth was Milan^[2]. He was born on January 17, 1923^[3]. He died in Rome^[4]. He died on October 23, 2017^[5]. He worked as a mathematician^[6], computer scientist^[7], engineer^[8], university teacher^[9], and logician^[10]. He ranks in the top 0.73% of human entities by monthly Wikipedia readership (108 views/month, #7,276 of 1,000,298).^[11]

Key Facts

• Born in Milan^[2], Corrado Böhm…
• Corrado Böhm died in Rome^[4].
• Corrado Böhm was born on January 17, 1923^[3].
• Corrado Böhm died on October 23, 2017^[5].
• Corrado Böhm held citizenship in Kingdom of Italy^[12].
• Corrado Böhm held citizenship in Italy^[13].
• Corrado Böhm's professions included mathematician^[6].
• Corrado Böhm's professions included computer scientist^[7].
• Corrado Böhm's professions included engineer^[8].
• Corrado Böhm worked as a university teacher^[9].
• Corrado Böhm's professions included logician^[10].
• Corrado Böhm's field of work was computer science^[14].
• Corrado Böhm's field of work was structured programming^[15].
• Corrado Böhm's field of work was constructivism^[16].
• Corrado Böhm's field of work was lambda calculus^[17].
• Corrado Böhm's field of work was combinational logic^[18].
• Corrado Böhm's field of work was functional programming^[19].
• Among Corrado Böhm's employers was Sapienza University of Rome^[20].
• Among Corrado Böhm's employers was University of Turin^[21].
• Corrado Böhm's education included a stint at ETH Zurich^[22].
• Corrado Böhm's education included a stint at Swiss Federal Institute of Technology in Lausanne^[23].
• Corrado Böhm's doctoral advisor was Eduard Stiefel^[24].
• Corrado Böhm's doctoral advisor was Paul Bernays^[25].
• Corrado Böhm received the EATCS award^[26].
• Corrado Böhm received the honorary doctor of the University of Milan^[27].

Body

Origins and Family

Corrado Böhm's place of birth was Milan^[2]. He was born on January 17, 1923^[3].

Education

Educated at ETH Zurich^[22], an institute of technology^[28], in Switzerland^[29], founded in 1855^[30], headquartered in ETH Zurich main building^[31] and Swiss Federal Institute of Technology in Lausanne^[23], a public university^[32], in Switzerland^[33], founded in 1969^[34]. Doctoral advisors include Eduard Stiefel^[24], a mathematician^[35], 1909–1978^[36], of Switzerland^[37], awarded the Honorary doctorate from the Julius Maximilians University of Würzburg^[38], specialised in topology^[39] and Paul Bernays^[25], a mathematician^[40], 1888–1977^[41], of Switzerland^[42], specialised in mathematical logic^[43].

Career and Affiliations

Recorded occupations include mathematician^[6], computer scientist^[7], engineer^[8], university teacher^[9], and logician^[10]. Fields of work include computer science^[14], an academic discipline^[44]; structured programming^[15], a computer science term^[45]; constructivism^[16]; lambda calculus^[17], a mathematical model^[46]; combinational logic^[18], a Boolean algebra^[47]; and functional programming^[19], a programming paradigm^[48]. Employers include Sapienza University of Rome^[20], a public university^[49], in Italy^[50], founded in 1303^[51], headquartered in città universitaria of Rome^[52] and University of Turin^[21], a university^[53], in Italy^[54], founded in 1404^[55]. Doctoral students include Giorgio Ausiello^[56], a university teacher^[57], b. 1941^[58], of Italy^[59], awarded the honorary doctor of Paris Dauphine University^[60], specialised in computer science^[61]; Mariangiola Dezani-Ciancaglini^[62], a mathematician^[63], b. 1946^[64]; Stefano Guerrini^[65], a computer scientist^[66], b. 1965^[67]; and Simona Ronchi Della Rocca^[68], a computer scientist^[69], b. 1946^[70], of Italy^[71].

Recognition

Awards received include EATCS award^[26], a science award^[72], founded in 2000^[73] and honorary doctor of the University of Milan^[27], an award^[74], in Italy^[75].

Death and Burial

Corrado Böhm died on October 23, 2017^[5]. He passed away in Rome^[4].

Works and Contributions

Things named for Corrado Böhm include structured program theorem^[76].

Why It Matters

Corrado Böhm ranks in the top 0.73% of human entities by monthly Wikipedia readership (108 views/month, #7,276 of 1,000,298).^[11] He has Wikipedia articles in 9 language editions, a strong signal of global cultural recognition.^[77] He is known by 3 alternative names across languages and contexts.^[78]

He is credited with the discovery of structured program theorem^[79], a theorem^[80]. Entities named for him include structured program theorem^[76].

His notable doctoral advisees include Mariangiola Dezani-Ciancaglini^[81], a mathematician^[82], b. 1946^[83]; Giorgio Ausiello^[84], a university teacher^[85], b. 1941^[86], of Italy^[87], awarded the honorary doctor of Paris Dauphine University^[88], specialised in computer science^[89]; Simona Ronchi Della Rocca^[90], a computer scientist^[91], b. 1946^[92], of Italy^[93]; and Stefano Guerrini^[94], a computer scientist^[95], b. 1965^[96].

FAQs

Where was Corrado Böhm born?

Corrado Böhm was born in Milan^[2].

Where did Corrado Böhm die?

Corrado Böhm died in Rome^[4].

What did Corrado Böhm do for work?

Corrado Böhm worked as mathematician^[6], computer scientist^[7], engineer^[8], university teacher^[9], and logician^[10].

Where did Corrado Böhm go to school?

Corrado Böhm was educated at ETH Zurich^[22] and Swiss Federal Institute of Technology in Lausanne^[23].

What awards did Corrado Böhm receive?

Honors received include EATCS award^[26] and honorary doctor of the University of Milan^[27].

What did Corrado Böhm discover?

Corrado Böhm is credited as discoverer of structured program theorem^[79].