Nacimiento |
17 de enero de 1923 Milán |
---|---|
Muerte |
23 de octubre de 2017(en 94) Roma |
Nacionalidad | italiano |
Capacitación |
Instituto Federal Suizo de Tecnología Zurich Instituto Federal Suizo de Tecnología Lausana |
Actividad | Informático |
Trabajé para | Universidad de Roma "La Sapienza" , Universidad de Turín |
---|---|
Áreas | Informática , programación estructurada , constructivismo , cálculo lambda , lógica combinada ( en ) , programación funcional , semántica de lenguajes de programación |
Miembro de | Academia Europaea (1990) |
Directores de tesis | Eduard Stiefel y Paul Bernays |
Sitio web | www.corradobohm.it |
Premios |
Doctor honoris causa por la Universidad de Milán (1994) Premio EATCS (2001) |
Corrado Böhm , nacido el17 de enero de 1923en Milán y murió el23 de octubre de 2017en Roma , es un teórico informático italiano .
Profesor emérito de la Universidad de Roma "La Sapienza" , es conocido principalmente por sus contribuciones a la teoría de programación estructurada , matemáticas constructivas , lógica combinatoria , cálculo lambda , semántica e implementación , lenguajes de programación funcional .
Corrado Böhm estudió en Suiza desde 1942. Se licenció en ingeniería en electrotécnica en 1946 en la Escuela Politécnica Federal de Lausana (entonces todavía se llamaba École polytechnique de l'Université de Lausanne (EPUL)) y luego se convirtió en investigador ETH Zürich , donde comenzó a centrarse en la informática con motivo de la llegada de la máquina Zuse Z4 de Konrad Zuse que se instaló en ETH en 1950. Obtuvo un doctorado en matemáticas en 1952 bajo la supervisión de Eduard Stiefel y Paul Bernays (quienes lo presentó a las máquinas de Turing ) con una tesis titulada Calculadoras digitales del desciframiento de fórmulas lógico-matemáticas por la propia máquina en el diseño del programa , posteriormente publicada con un título ligeramente diferente. Describe un compilador completo, más meta-circular (en) , es decir que utiliza mecanismos de traducción de un lenguaje de programación escrito en el mismo lenguaje.
En 1951, Böhm regresó a Italia. Primero trabajó en Olivetti , luego desde 1953 en el Istituto per le Applicazioni del Calcolo (it) del Consiglio Nazionale delle Ricerche en Roma (luego dirigido por Mauro Picone (it) a quien sucedería). Allí se instala la primera computadora italiana moderna (FINAC) en cooperación con la empresa Ferranti de Manchester. Böhm es responsable de sus operaciones, luego se convierte en responsable de la programación de aplicaciones en análisis.
En la década de 1960, Böhm comenzó a enseñar en las universidades de Roma y Pisa y se dedicó a la informática teórica. Demostró con Giuseppe Jacopini, entonces su alumno, el teorema del programa estructurado (en) , también llamado “teorema de Böhm-Jacopini” que es uno de los artículos pioneros de la programación estructurada (o “programación sin Goto” según Edsger W. Dijkstra ) . El teorema establece que se pueden formular algoritmos utilizando como estructuras de control únicamente la secuenciación de instrucciones, pruebas de ramificación dirigidas por la evaluación de una expresión booleana o la iteración de una parte de un programa dentro de un bucle .
También en 1960, Böhm desarrolló su investigación sobre el cálculo lambda de Alonzo Church y la programación funcional . En 1968, se demostró un importante teorema, según la cual dos expresiones de la lambda-cálculo que tienen diferentes formas normales para β-conversión y η-conversión no pueden ser idénticos. Con Wolf Gross, Böhm desarrolla un lenguaje de programación funcional basado en el cálculo lambda y en la lógica combinatoria de Haskell Curry . Proponen la máquina abstracta CUCH como modelo para implementar este lenguaje.
Con Alessandro Berarducci, Böhm establece un isomorfismo entre tipos de datos algebraicos estrictamente positivos y términos lambda polimórficos, conocidos desde entonces como la codificación Böhm-Berarducci.
En 1968 fue nombrado profesor titular en Módena , luego en la Universidad de Turín , donde creó el departamento de informática que, al principio, constaba de una única oficina y un IBM 360 utilizado también por los demás departamentos. Desde 1974, Böhm fue profesor en Roma, donde también organizó temprano una conferencia internacional sobre cálculo lambda.
Desde 1964, Böhm fue miembro, junto con Dana Scott , Christopher Strachey y otros, del IFIP Working Group 2.2 ( Descripción formal de conceptos de programación ). Desde 1988 fue miembro del Grupo de Trabajo de Programación Funcional del IFIP .