Àrea: Llenguatges i Sistemes Informàtics

Doctor per la Universidad de Valladolid amb la tesi 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. Dirigida per Dra. Aránzazu Simón Hurtado.