Alan Turing (1912-1954) fue un matemático cuyas contribuciones le hacen merecer el sobrenombre de padre de la informática. Es considerado como una de las piezas claves de la victoria aliada en la 2º Guerra Mundial gracias a sus habilidades como criptógrafo, sin embargo fue víctima de una sociedad inglesa homofóbica que le empujó al suicidio […]

Hoy analizamos cómo Robin Milner, premio Turing en 1991, cambió la forma en la que el software se construye a través de grandes contribuciones matemáticas muy prácticas y aplicables. Y para explorar todos los entresijos de esta historia contamos como invitado con el Dr. Juan José Moreno Navarro, catedrático de la Universidad Polítécnica de Madrid […]