コラド・ベーム
コラド・ベーム（Corrado Böhm, 1923年1月17日 - 2017年10月23日）は、イタリアミラノ出身の計算機科学者。ローマ・ラ・サピエンツァ大学名誉教授。

1946年にローザンヌ大学で電気工学を修了した後、コンピュータ科学の研究を始め、1966年にジュゼッペ・ヤコピーニとともに構造化定理を証明した。この構造化定理は、エドガー・ダイクストラが提唱した構造化プログラミングとよく混同されるが、本来はあまり関係のないものである。

その他、ラムダ計算や関数型言語の研究でも知られる。
Q2169
1923年
TIME
Q2264
1月17日
TIME
Q38
イタリア
LOC
Q490
ミラノ
LOC
Q21198
計算機科学者
Concept
Q209344
ローマ・ラ・サピエンツァ大学
ORG
Q211830
名誉教授
Concept
Q18610
1946年
TIME
Q658975
ローザンヌ大学
LOC
Q43035
電気工学
Concept
Q21198
コンピュータ科学
Concept
Q2649
1966年
TIME
None
ジュゼッペ・ヤコピーニ
UNK
Q2635326
構造化定理
MEDIA
Q8556
エドガー・ダイクストラ
PER
Q223335
構造化プログラミング
Concept
Q242028
ラムダ計算
Concept
Q193076
関数型言語
Concept
Q943361
コラド・ベーム
PER
2019-01-01T00:00:00Z^^http://www.w3.org/2001/XMLSchema#dateTime
19
DATE
2023-01-17T00:00:00Z^^http://www.w3.org/2001/XMLSchema#dateTime
23年1月17日
DATE
2020-01-01T00:00:00Z^^http://www.w3.org/2001/XMLSchema#dateTime
20
DATE
2017-10-23T00:00:00Z^^http://www.w3.org/2001/XMLSchema#dateTime
17年10月23日
DATE
74-01-01T00:00:00Z^^http://www.w3.org/2001/XMLSchema#dateTime
1946年
DATE
54-01-01T00:00:00Z^^http://www.w3.org/2001/XMLSchema#dateTime
1966年
DATE
country of citizenship
field of work
employer
field of work
field of work
field of work
country
country
discoverer or inventor