Area: Computer Languages and Systems

Doctor by the Universidad de Valladolid with the thesis Sobre la definición y construcción sistemática de variables canónicas de tipo focal. Aplicación a sistemas keplerianos perturbados 2013. Supervised by Dr. Luis Floria Gimeno, Dr. José Fernando Pascual Sánchez.