Óscar Martín

    Óscar Martín

    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.