GORKA
SUÁREZ GARCÍA
Postdoctoral UCM
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.