Loading AI tools
matemático italiano De Wikipedia, la enciclopedia libre
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.
| 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) | |
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.
Seamless Wikipedia browsing. On steroids.
Every time you click a link to Wikipedia, Wiktionary or Wikiquote in your browser's search results, it will show the modern Wikiwand interface.
Wikiwand extension is a five stars, simple, with minimum permission required to keep your browsing private, safe and transparent.
