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
Research Interests
Formal specification and verification, rigorous tool supported modeling and validation of software systems, automation, programming languages and SAT solvers.