Raúl Alborodo
The information in this page may be outdated, as Raúl Alborodo is currently not a member of the Institute.
BSc - Universidad Nacional de Río IV, ArgentinaFormer PhD Student
Adviser: Juan José Moreno
Research Interests
Formal methods, software specification and verification, model-driven development, programing languages and dynamic logics.