Saila: Sistemas Informáticos y Computación

Fakultatea: Informática

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

E-maila: gorka.suarez@ucm.es

Doctor por la Universidad Complutense de Madrid con la tesis Análisis estático de tipos para lenguajes de tipado dinámico 2022. Tesiaren zuzendaria Dr. Manuel Montenegro Montes, Dr. Francisco Javier López Fraguas.