Area: Computer Languages and Systems

Doctor by the Universidad de Valladolid with the thesis Estudio, implementación y evaluación de un tutor inteligente para el aprendizaje de lógica computacional basado en modelos y apoyado en conocimiento 2011. Supervised by Dr. Aránzazu Simón Hurtado.