Departament: Sistemas Informáticos y Computación

Facultat: Informática

Grup d'investigació: Diseño y análisis formal de sistemas de software

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