Iniciativa IMDEA

Inicio > Personal

Raúl Alborodo

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

PhD Student

Raúl Alborodo
Instituto IMDEA Software

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

Tutor: Juan José Moreno

Intereses de Investigación

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