Corrado Böhm
Corrado Böhm ( Milán , 17 de enero de 1923 - Roma , 23 de octubre de 2017 ) fue un matemático e informático italiano , profesor emérito de la Universidad "La Sapienza" de Roma .
Biografía
Estudiante de ingeniería, en 1942 se fue de Italia a Suiza y continuó sus estudios en la École Polytechnique Fédérale de Lausana , donde en 1946 obtuvo el diploma de ingeniero electrónico. Después de la guerra, regresó a Italia en 1951 . En 1954 se doctoró en matemáticas en la Escuela Politécnica Federal de Zúrich (ETH), con una tesis en la que se define un lenguaje de programación y se propone por primera vez un compilador escrito en el mismo lenguaje para ser traducido (en el siguiente los programas de este tipo se llamarán compiladores metacirculares ).
De 1953 a 1968 fue investigador en Roma en el Instituto de Aplicaciones del Cálculo " Mauro Picone " del CNR , donde realizó investigaciones sobre la Máquina de Turing y los lenguajes de programación , trabajando sobre todo con Giuseppe Jacopini . De 1959 a 1969 enseñó en la Universidad de Pisa y en la Universidad de Roma . Desde 1970 es profesor en la Universidad de Turín donde organizó el Instituto de Ciencias de la Información, el segundo en Italia después del de Pisa . Desde 1974 es profesor en la Universidad "La Sapienza" de Roma.
Sus estudios sobre la máquina de Turing y la arquitectura de von Neumann llevaron en 1966 a la enunciación, en colaboración con Giuseppe Jacopini, de un teorema de gran interés científico, el Teorema de Böhm-Jacopini .
Su investigación posterior se centró principalmente en el cálculo Lambda y la lógica combinatoria . De sus numerosas contribuciones en este campo, la más conocida es el llamado Teorema de Separación, o Teorema de Böhm , relevante para la semántica de los lenguajes de programación.
En 1994 , la Universidad de Milán le otorgó un título honorífico .
Principales publicaciones
- Calculadoras digitales. Du déchiffrage des formulas mathématiques par la machine même dans la concepción du program , Annals of Mat. puro y aplicado , serie IV, tomo XXXVII, 1-51, 1954.
- Sobre una familia de máquinas de Turing y el lenguaje de programación relacionado , ICC Bull. , 3, 185-194, julio de 1964.
- con Giuseppe Jacopini, Diagramas de flujo, máquinas de Turing y lenguajes con solo dos reglas de formación , Com. de la ACM , 9 (5): 366-371, 1966.
- Algunas propiedades de las formas β-η-normales en el cálculo λ-K , Publ. INAC , n. 696, Roma, 1968.
- con Alessandro Berarducci, Síntesis automática de programas lambda tipados en álgebras a plazo , Ciencias informáticas teóricas , 39: 135-154, 1985.
- Programación funcional y álgebras combinatorias , MFCS , Carlsbad, Checoslovaquia, eds MP Chytil, L. Janiga y V. Koubek, LNCS 324 , 14-26, 1988.
Artículos relacionados
Otros proyectos
Wikimedia Commons contiene imágenes u otros archivos sobre Corrado Böhm
Enlaces externos
- Sitio oficial , en corradobohm.it .
- ( EN ) Corrado Böhm , en Proyecto de Genealogía Matemática , Universidad Estatal de Dakota del Norte.
- Universidad La Sapienza , Biografía , Septiembre 2010
- Universidad de Trier , Colección de contribuciones en honor a Corrado Böhm con motivo de su 70 cumpleaños , Theoretical Computer Science , volumen 121, números 1 y 2, 1993.
- Luca Spinelli , Entrevista sobre la situación de las TI en Italia , abril de 2007