Dopo la Laurea in Filosofia, ottenuta summa cum laude presso la Facoltà di Lettere e Filosofia dell'Università degli Studi di Milano con la tesi L'uso di operatori temporali nei linguaggi di programmazione: definizione, applicazioni e un esempio di implementazione (Relatore Prof. Corrado Mangione), ha conseguito il Dottorato di Ricerca in Informatica, con la tesi Un modello computazionale per strutture di molecole nella fisica naïve (Relatori: B. Meltzer, G. Cattaneo, G. Degli Antoni).

Fino a tutto l'anno accademico 1997/1998 ha lavorato, in qualità di Ricercatore, presso il Dipartimento di Scienze dell'Informazione dell'Università degli Studi di Milano, dove ha avuto in affidamento i corsi di Sistemi Operativi e Ingegneria della Conoscenza e Sistemi Esperti ed è stata Responsabile del Laboratorio di Sistemi Esperti. Dal 1991 al 1994 è stata membro della Giunta di Dipartimento.

Dal novembre 1998 ha preso servizio, in qualità di Ricercatore Confermato, presso il Dipartimento di Informatica, Sistemistica e Comunicazione dell'Università di Milano – Bicocca, ottenendo l’affidamento dei corsi di Intelligenza Artificiale e di Metodi per la Rappresentazione della Conoscenza e la direzione del Laboratorio di Ingegneria della Conoscenza e Sistemi Esperti. Nel settembre 2001 ha ottenuto la nomina a Professore Associato.