Licenciado en Matemáticas, trabajó más de veinte años en el departamento de informática de Caja Madrid (hoy Bankia). Tiene experiencia como docente en la Universidad Complutense de Madrid y en la actualidad se dedica a la investigación, centrado en los métodos formales en ciencias de la computación. Es autor de blog El teorema de cuales.
El lector conoce, sin duda, que en el Egipto faraónico de los ptolomeos, Eratóstenes halló la longitud de la circunferencia de la Tierra, asomándose a un pozo que reflejaba los rayos del Sol. Pero quizá le sorprenda saber que, de todo el antiguo mundo occidental, solo allí podía...
Más información