# Corrado Böhm

> Italian mathematician and computer scientist (1923-2017)

**Wikidata**: [Q943361](https://www.wikidata.org/wiki/Q943361)  
**Wikipedia**: [English](https://en.wikipedia.org/wiki/Corrado_Böhm)  
**Source**: https://4ort.xyz/entity/corrado-bohm

## Summary
Corrado Böhm was an Italian mathematician and computer scientist (1923-2017) recognized for his foundational work in programming language semantics, functional programming, and structured programming. He is noted for his involvement in the inception of the primitive computer programming language P'' in 1964 and for receiving the EATCS award in 2001.

## Biography
- Born: January 17, 1923, in Milan
- Died: October 23, 2017, in Rome
- Nationality: Kingdom of Italy (until 1946), Italy (from 1946)
- Education: ETH Zurich, Swiss Federal Institute of Technology in Lausanne
- Known for: Contributions to programming language semantics, functional programming, and structured programming
- Employer(s): Sapienza University of Rome, University of Turin
- Field(s): Computer science, structured programming, constructivism, lambda calculus, combinational logic, functional programming, programming language semantics

## Contributions
Corrado Böhm made significant contributions to the fields of mathematics and computer science. His work encompassed areas such as programming language semantics, lambda calculus, functional programming, and structured programming. A notable contribution was the inception of P'', a primitive computer programming language, in 1964. This language served as a foundational concept in the study of computation. Böhm also played a crucial role in academia as a doctoral advisor, guiding the research of prominent computer scientists including Giorgio Ausiello, Mariangiola Dezani-Ciancaglini, Stefano Guerrini, and Simona Ronchi Della Rocca. His academic career included positions at the University of Turin and Sapienza University of Rome, where he further advanced research and education in his fields. His contributions were recognized with an honorary doctorate from the University of Milan in 1994 and the EATCS award in 2001.

## FAQs
### Q: Who was Corrado Böhm?
A: Corrado Böhm was an Italian mathematician and computer scientist born in 1923 and passed away in 2017. He was known for his work in programming language semantics, functional programming, and structured programming.

### Q: What was Corrado Böhm's primary contribution to computer science?
A: Corrado Böhm's primary contributions include his work on programming language semantics, functional programming, and structured programming. He is also associated with the inception of the primitive computer programming language P'' in 1964.

### Q: Where did Corrado Böhm work during his career?
A: Corrado Böhm was employed at the University of Turin and Sapienza University of Rome. He also conducted his studies at ETH Zurich and the Swiss Federal Institute of Technology in Lausanne.

### Q: Did Corrado Böhm receive any notable awards or honors?
A: Yes, Corrado Böhm received an honorary doctorate from the University of Milan in 1994 and the EATCS award in 2001. He was also a member of the Academia Europaea.

### Q: Who were some of Corrado Böhm's doctoral students?
A: Corrado Böhm advised several notable doctoral students, including Giorgio Ausiello, Mariangiola Dezani-Ciancaglini, Stefano Guerrini, and Simona Ronchi Della Rocca.

## Why They Matter
Corrado Böhm's work significantly impacted the theoretical foundations of computer science, particularly in the areas of programming language semantics, functional programming, and structured programming. His involvement in the inception of the primitive computer programming language P'' in 1964 provided a crucial model for understanding computation and programming language design. This foundational work helped shape the development of more sophisticated programming paradigms. As a doctoral advisor, Böhm mentored a generation of influential computer scientists, including Giorgio Ausiello, Mariangiola Dezani-Ciancaglini, Stefano Guerrini, and Simona Ronchi Della Rocca, thereby extending his intellectual legacy and contributing to the growth of the field through his students' subsequent work. His recognition with the EATCS award and an honorary doctorate underscores the lasting importance and influence of his contributions to the academic and practical understanding of computing.

## Notable For
*   Inception of the primitive computer programming language P'' in 1964.
*   Recipient of the EATCS award in 2001.
*   Awarded an honorary doctorate by the University of Milan in 1994.
*   Doctoral advisor to several prominent computer scientists, including Giorgio Ausiello and Mariangiola Dezani-Ciancaglini.
*   Member of the Academia Europaea (elected 1990).

## Body

### Personal Details
*   **Name**: Corrado Böhm
*   **Aliases**: Бём, Коррадо
*   **Sex or Gender**: Male
*   **Birth Date**: January 17, 1923
*   **Birth Place**: Milan
*   **Death Date**: October 23, 2017
*   **Death Place**: Rome
*   **Citizenship**: Kingdom of Italy (until June 18, 1946), Italy (from June 18, 1946)
*   **Languages Spoken, Written or Signed**: Italian

### Education
*   **Doctoral Advisor**: Eduard Stiefel, Paul Bernays
*   **Educated At**: ETH Zurich, Swiss Federal Institute of Technology in Lausanne

### Career and Affiliations
*   **Occupation**: Mathematician, Computer Scientist, Engineer, University Teacher, Logician
*   **Employer(s)**: Sapienza University of Rome, University of Turin
*   **Work Location**: Turin, Rome
*   **Doctoral Students**: Giorgio Ausiello, Mariangiola Dezani-Ciancaglini, Stefano Guerrini, Simona Ronchi Della Rocca
*   **Member Of**: Academia Europaea (elected 1990, AE section Informatics)

### Research and Contributions
*   **Field(s) of Work**: Computer science, structured programming, constructivism, lambda calculus, combinational logic, functional programming, programming language semantics
*   **Key Development**: Inception of P'', a primitive computer programming language, in 1964.

### Awards and Recognition
*   **Award Received**:
    *   Honorary doctor of the University of Milan (1994)
    *   EATCS award (2001)
*   **Erdős Number**: 3 (as of 2020-01-06)

### Online Presence and Identifiers
*   **Website**: http://www.corradobohm.it/
*   **Image**: https://commons.wikimedia.org/wiki/Special:FilePath/CorradoBoemETAPS2013_2013-03-22_0.33.36.jpg
*   **Wikipedia Title**: Corrado Böhm
*   **Commons Category**: Corrado Böhm
*   **ISNI**: 0000000109329425
*   **VIAF ID**: 109309378
*   **GND ID**: 17200652X
*   **IDREF ID**: 101325525
*   **NUKAT ID**: n99041104
*   **Bibsys ID**: 90380875
*   **CONOR.SI ID**: 191227491
*   **Freebase ID**: /m/07ft41
*   **Treccani ID**: corrado-bohm
*   **AE Member ID**: Böhm_Corrado
*   **MR Author ID**: 38690
*   **NL CR Aut ID**: skuk0001757
*   **SBN Author ID**: SBLV150333
*   **DBLP Author ID**: 66/1582
*   **RERO ID (Legacy)**: A003064037
*   **Scopus Author ID**: 7101750662
*   **ZBMath Author ID**: bohm.corrado
*   **Cinii Research ID**: 1140563741729492352
*   **DDB Person (GND) ID**: 17200652X
*   **NLA Trove People ID**: 1217629
*   **NACIS Cat Author ID**: DA01871576
*   **WorldCat Entities ID**: E39PBJhRMgFxWkDtWMYdh9VKVC
*   **Libraries Australia ID**: 36132612
*   **Encyclopaedia Beliana ID**: bohm-corrado
*   **Canadiana Name Authority ID**: ncf11290150
*   **Deutsche Biographie (GND) ID**: 17200652X
*   **ACM Digital Library Author ID**: 81544822856
*   **Library of Congress Authority ID**: n81062398
*   **Mathematics Genealogy Project ID**: 54451
*   **National Library of Israel J9U ID**: 987007444563205171
*   **National Library of Israel ID (Old)**: 002180540
*   **National Virtual Library of India ID**: 454449
*   **Nationale Thesaurus Voor Auteursnamen ID**: 069495963
*   **Share Catalogue Author ID**: 44492
*   **Treccani's Enciclopedia Della Matematica ID**: bohm

```json
{
  "@context": "https://schema.org",
  "@type": "Person",
  "name": "Corrado Böhm",
  "jobTitle": ["Mathematician", "Computer Scientist", "University Teacher", "Engineer", "Logician"],
  "worksFor": [
    {"@type": "Organization", "name": "Sapienza University of Rome"},
    {"@type": "Organization", "name": "University of Turin"}
  ],
  "nationality": [
    {"@type": "Country", "name": "Kingdom of Italy"},
    {"@type": "Country", "name": "Italy"}
  ],
  "birthDate": "1923-01-17",
  "birthPlace": "Milan",
  "deathDate": "2017-10-23",
  "deathPlace": "Rome",
  "alumniOf": [
    {"@type": "EducationalOrganization", "name": "ETH Zurich"},
    {"@type": "EducationalOrganization", "name": "Swiss Federal Institute of Technology in Lausanne"}
  ],
  "knowsAbout": [
    "Computer science",
    "Structured programming",
    "Constructivism",
    "Lambda calculus",
    "Combinational logic",
    "Functional programming",
    "Programming language semantics"
  ],
  "sameAs": [
    "https://www.wikidata.org/wiki/Q3693892",
    "https://en.wikipedia.org/wiki/Corrado_Böhm",
    "http://www.corradobohm.it/"
  ],
  "description": "Corrado Böhm was an Italian mathematician and computer scientist known for his foundational work in programming language semantics, functional programming, and structured programming."
}

## References

1. [Source](http://www.corradobohm.it/Corrado_Bohm/Biography.html)
2. Mathematics Genealogy Project
3. Virtual International Authority File
4. CiNii Research
5. [Source](https://www.ae-info.org/ae/User/Böhm_Corrado)
6. [Source](http://www.cnrs.fr/ins2i/spip.php?article2697)
7. Freebase Data Dumps. 2013
8. [zbMATH Open Database](https://zbmath.org/collaboration-distance/?a=bohm.corrado&b=erdos.paul)
9. Catalogo of the National Library of India