Коррадо Бём | |
---|---|
Родился | (1923-01-17) 17 января 1923 года. Милан |
Умер | 23 октября 2017 (2017-10 -23) (94 года). Рим |
Национальность | итальянец |
Alma mater | ETH Zürich |
Научная карьера | |
Области | Компьютерные науки |
Учреждения | Римский университет "Ла Сапиенца" |
Советник по докторантуре | |
Докторанты | |
Коррадо Бём (17 января 1923 г. - 23 октября 2017 г.) был профессором почетным в Университете Ро. я "La Sapienza" и компьютерный ученый, особенно известный своим вкладом в теорию структурного программирования, конструктивной математики, комбинаторной логики, лямбда-исчисление, а также семантика и реализация языков функционального программирования.
В его докторской диссертации (по математике, в ETH Zurich, 1951; опубликовано в 1954 г.) Бём впервые описывает полный метакруговой компилятор, который представляет собой механизм перевода языка программирования, написанного на этом же языке. Его наиболее значительный вклад - это так называемая теорема о структурированной программе, опубликованная в 1966 году вместе с Джузеппе Якопини. В лямбда-исчислении он установил важную теорему об отделении нормальных форм. Вместе с Алессандро Берардуччи он продемонстрировал изоморфизм между строго положительными алгебраическими типами данных и полиморфными лямбда-терминами, иначе известными как кодирование Бема – Берардуччи.
Специальный выпуск журнала «Теоретический компьютер». Ему посвятили науку в 1993 году, в день его 70-летия. Он получил награду 2001 EATCS за выдающуюся карьеру в теоретической информатике.
.