IMDEA Software

IMDEA initiative

Home > People

Carolina Inés Dania

BS - Universidad Nacional de Cordoba (UNC), Argentina

The information in this page may be outdated, as Carolina Inés Dania is no longer a member of the Institute.

Former PhD Student

Carolina Inés Dania
Home Page: https://software.imdea.org/~dania/

Research Interests

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