Ó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.