Doctor by the Universidad Complutense de Madrid with the thesis Una técnica para el estudio de relaciones entre estructuras para lenguajes con varias clases de variables 1978. Supervised by Dr. Baldomero Rubio Segovia.

Doctor by the Universidad Complutense de Madrid with the thesis Conjuntos [pi]1 1 completos e hiperaritméticos 1974. Supervised by Dr. José F. Prida.