Carlos Sáenz Adán ha obtenido el grado de doctor por la Universidad de La Rioja tras la defensa de su tesis titulada ‘Towards a framework for making applications provenance-aware’, por la que ha logrado la calificación de sobresaliente ‘cum laude’ con mención internacional al título.
Desarrollada en el Departamento de Matemáticas y Computación de la UR –en el marco del programa de Doctorado 782D Matemáticas y Computación- esta tesis ha sido dirigida por Beatriz Pérez Valle y Francisco José García Izquierdo.
La tesis de Carlos Sáenz Adán ha sido financiada a través de un contrato predoctoral FPI-UR (2015) y un proyecto nacional financiado por el Ministerio de Economía y Competitividad. Carlos Sáenz Adán también ha realizado diversas estancias de investigación en el King's College London y la University of Southampton supervisadas por el profesor Luc Moreau.