Àrea: Ciència de la Computació i Intel·ligència Artificial

Doctor per la Universidad de Valladolid amb la tesi Jerarquías de herencia en el diseño de software orientado al objeto 1995. Dirigida per Dr. Pablo Lucio de la Fuente Redondo.