Carolina Dania
The information in this page may be outdated, as Carolina Dania is currently not a member of the Institute.
BSc - Universidad Nacional de Cordoba (UNC), Argentina
Former PhD Student
Home Page: https://software.imdea.org/~dania/
Adviser: Manuel Clavel
Former PhD Student
Home Page: https://software.imdea.org/~dania/
Adviser: Manuel Clavel
Research Interests
Formal specification and verification, rigorous tool supported modeling and validation of software systems, automation, programming languages and SAT solvers.