Department: Sistemas Informáticos y Computación

Faculty: Informática

Research group: Diseño y análisis formal de sistemas de software

Doctor by the Universidad Complutense de Madrid with the thesis Análisis estático de tipos para lenguajes de tipado dinámico 2022. Supervised by Dr. Manuel Montenegro Montes, Dr. Francisco Javier López Fraguas.