Mario Piattini Velthuis MSc and PhD in Computer Science Madrid Technical University Full Professor at the University of Castilla-La Mancha He leads the Alarcos Research Group