The information in this page may be outdated, as Carolina Dania is currently not a member of the Institute.
Formal specification and verification, rigorous tool supported modeling and validation of software systems, automation, programming languages and SAT solvers.