IMDEA Software

IMDEA initiative

Home > People

Raúl Alborodo

BS in computer Science - Universidad Nacional de Río IV, Argentina

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

Former PhD Student

Raúl Alborodo

Research Interests

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