Iniciativa IMDEA

Inicio > Personal

Carolina Inés Dania

BS - Universidad Nacional de Cordoba (UNC), Argentina

La información de esta página podría estar desactualizada debido a que Carolina Inés Dania no es ya miembro del Instituto.

Antiguo PhD Student

Carolina Inés Dania
Página web: http://software.imdea.org/~dania/

Intereses de Investigación

Formal specification and verification, rigorous tool supported modeling and validation of software systems, automation, programming languages and SAT solvers.