Raúl Alborodo

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

BSc - Universidad Nacional de Río IV, Argentina
Antiguo PhD Student

Tutor: Juan José Moreno

Esta página aún no ha sido traducida. A continuación se muestra la página en inglés.

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