Fachbereich: Sistemas Informáticos y Computación

Fakultät: Informática

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

Doktor von der Universidad Complutense de Madrid mit der Dissertation Análisis estático de tipos para lenguajes de tipado dinámico 2022. unter der Leitung von Dr. Manuel Montenegro Montes, Dr. Francisco Javier López Fraguas.