Carolina Dania

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

BSc - Universidad Nacional de Córdoba (UNC), Argentina
Antiguo PhD Student

Página web: https://software.imdea.org/~dania/
Tutor: Manuel Clavel

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

Research Interests

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