Corrado Böhm
matemático italiano / De Wikipedia, la enciclopedia encyclopedia
Corrado Böhm (Milán, 17 de enero de 1923-Roma, 23 de octubre de 2017)[1] fue un informático teórico italiano, profesor emérito de la Universidad de La Sapienza, conocido principalmente por sus contribuciones en la teoría de programación estructurada, matemática constructiva, lógica combinatoria, cálculo lambda, y la semántica e implementación de lenguajes de programación funcional.
Datos rápidos Información personal, Nacimiento ...
Corrado Böhm | ||
---|---|---|
Información personal | ||
Nacimiento |
17 de enero de 1923 Milán (Reino de Italia) | |
Fallecimiento |
23 de octubre de 2017 (94 años) Roma (Italia) | |
Nacionalidad | Italiana | |
Educación | ||
Educado en | ||
Supervisor doctoral | Eduard Stiefel y Paul Bernays | |
Información profesional | ||
Área | Ciencias de la computación | |
Conocido por | P′′ | |
Empleador | Universidad de La Sapienza | |
Miembro de | Academia Europæa (desde 1990) | |
Sitio web | www.corradobohm.it | |
Distinciones | EATCS Award (2001) | |
Cerrar
En un número de la revista científica Theoretical Computer Science se le dedicó una sección especial, producto de su cumpleaños número 70. En 2001, recibió el premio EATCS Award por su distinguida carrera en las ciencias de la computación teórica.