Gregorio Martín is a professor of Computer Science at the Universitat de València.