IMDEA Software

IMDEA initiative

Home > People > Raúl Alborodo

Raúl Alborodo

The information in this page may be outdated, as Raúl Alborodo is currently not a member of the Institute.

Raúl Alborodo
BSc - Universidad Nacional de Río IV, Argentina
Former PhD Student


Adviser: Juan José Moreno

Research Interests

Formal methods, software specification and verification, model-driven development, programing languages and dynamic logics.