Department: Sistemas Informáticos y Computación

Faculty: Informática

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

Email: gorka.suarez@ucm.es

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.