Ruben Heradio received the M.Sc. degree in Computer Science from the Polytechnic University of Madrid, Spain, in 2000; and the Ph.D. degree in Software Engineering and Computer Systems from Universidad Nacional de Educacion a Distancia (UNED) in 2007. Currently, he is Associate Professor at UNED, and his research is focused on two directions: Software Engineering (principally, the application of formal methods to software product lines), and e-Learning (mainly, virtual and remote labs in education).