IMDEA Software

IMDEA initiative

Home > People > Carolina Dania

Carolina Dania

The information in this page may be outdated, as Carolina Dania is currently not a member of the Institute.

Carolina Dania
BSc - Universidad Nacional de Córdoba (UNC), Argentina
Former PhD Student

Home Page:
Adviser: Manuel Clavel

Research Interests

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