Professoressa Associata di Informatica presso l’Università di Camerino, svolge la propria attività di ricerca nella Sezione di Informatica della Scuola di Scienze e Tecnologie. 

Si occupa di modellazione, analisi e sviluppo di sistemi software promuovendo l'impiego di metodi formali quali strumenti metodologici e automatici per la progettazione e sviluppo di software di qualità. Negli anni 2007-2008 è stata Visiting Researcher presso l’Università di Washington e nel 2008-2009 presso l’Università di Scienze Applicate della Svizzera Nordoccidentale di Olten nell’ambito di progetti di ricerca per azioni integrate su paesi terzi. 

Impegnata da sempre nelle attività di trasferimento tecnologico collabora in progetti che vedono la trasformazione digitale come leva di sviluppo per le imprese e la pubblica amministrazione nonché come fattore abilitante nuove forma di assistenza alle persone in condizioni di debolezza.