IMDEA initiative

Home > People

Raúl Alborodo

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

PhD Student

Raúl Alborodo
IMDEA Software Institute

Office: 270
Telephone: +34 91-101-2202 ext 4197
Email: Raúl Alborodo e-mail

Adviser: Juan José Moreno

Research Interests

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