Educated in Italy, she has worked in Italy, Germany, Sweden, and Ireland, and currently works in Ireland as Chair of Software Systems in the University of Limerick's Department of Computer Science and Information Systems.

She completed her Ph.D. there in 1993, with the dissertation Verifica formale della correttezza del progetto di sistemi digitali.

[2] In 2004 she obtained a permanent faculty position, as professor of service engineering for distributed systems at the University of Göttingen.

[6] She is member of the Board of the ERCIM Working Group on Formal Methods for Industrial Critical Systems (FMICS),[9] serves as a member of the steering committee of the European Joint Conferences on Theory and Practice of Software (ETAPS),[10] and is a vice-chair of the Design and Engineering of Electronic Systems working group of the International Federation for Information Processing (IFIP).

[13] Most recently she leads the R@ISE project, a Science Foundation Ireland strategic partnership program on Low-code/No-code software development for high assurance software in cooperation with co-funding industrial partners and the Limerick city and county council.