El informático, matemático y filósofo leonés, actual jefe científico de teoría de la computación del gigante de Mountain View, ha jugado un papel clave en