Departamento: Sistemas Informáticos y Computación

Facultad: Informática

Grupo de investigación: Diseño y análisis formal de sistemas de software

Doctor por la Universidad Complutense de Madrid con la tesis Análisis estático de tipos para lenguajes de tipado dinámico 2022. Dirigida por Dr. Manuel Montenegro Montes, Dr. Francisco Javier López Fraguas.