This is me

Dr. Carolina Dania is developer at She got her PhD in Computer Science on June 2017, from the Universidad Complutense de Madrid (UCM), Spain. She did her research at IMDEA Software Institute.
She received her master of Research in Computer Science on September of 2011 from the UCM, and her degree (Licenciatura) in Computer Science on December of 2008 from the Universidad Nacional de Córdoba, Argentina.

Research Interests:

  • Software engineering, formal methods and security. Particularly, she is working in tools and techniques for modeling, building and validating secure and reliable software systems.