She obtained her PhD in 2000, in the area of Formal Semantics for software modeling languages. She is currently leading R&D projects related to this field of knowledge. Claudia’s research interests are placed in the area of software engineering, in particular software modeling and formal methods.