IMDEA Software

Iniciativa IMDEA

Inicio > Personal

Raúl Alborodo

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

La información de esta página podría estar desactualizada debido a que Raúl Alborodo no es ya miembro del Instituto.

Antiguo PhD Student

Raúl Alborodo

Intereses de Investigación

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