Carolina Daniaمشاهده پروفایل
پژوهشگر
- Software Engineering
- Formal Methods
- Security
- +۳ مورد دیگر
Dr. Carolina Dania is a Researcher at the IMDEA Software Institute in Madrid, Spain. She holds a PhD in Computer Science from the Universidad Complutense de Madrid (2017) and prior degrees from the Universidad Nacional de Córdoba, Argentina. Her research focuses on software engineering, formal methods, and security, with an emphasis on tool development for secure software systems. Education: Bachelor's in Computer Science (2008), UNC, Argentina Master's in Research in Computer Science (2011), UCM, Spain PhD in Computer Science (2017), UCM, Spain Research interests include model-driven engineering, formal verification of UML/OCL constraints, and secure cloud applications. Key tools developed include MySQL4OCL, OCL2FOL+, and SQL-PL4OCL, which translate OCL constraints into executable code or logical formulas for automated analysis. She has contributed to projects like the Core Security Metamodel (CSM) for cloud applications and the ActionGUI toolkit. Publications span conferences like MODELS, FASE, and IEEE Transactions on Software Engineering, focusing on OCL mappings, SMT-based verification, and secure data-management systems. She has organized workshops and participated in initiatives like the NESSoS EU project.





