Insegno Logica presso il Corso di Laurea di Filosofia.

Laureata in Filosofia presso l'Universita' di Firenze e Master of Arts in Philosophy, University of Victoria, Wellington, New Zealand, 1985.

Ricercatrice dal 1980 presso l'Universita' di Firenze e titolare per supplenza del corso di Logica Matematica presso l'Universita' di Bologna (dal 1992).

Dal 1° novembre 1998 professore associato, cattedra di Logica, presso la Facoltà di Lettere e Filosofia dell'Università di Bologna.

Dal 1° marzo 2005 professore straordinario, cattedra di Logica, presso la Facoltà di Lettere e Filosofia dell'Università di Bologna.

Periodi di ricerca all'estero:

Oxford University , Oxford, UK, sett. 1978- Apr.1979.

Victoria University, Wellington, New Zealand, feb.-nov.1983.

Professore visitatore presso:

Stanford University, Stanford, CA, gen.-giu.1986.

Institut für Informatik, Ludwig- Maximilian Universität Monaco, (G), nov.- dic. 1990,

Philosophy Department - Uppsala University (S) , feb-marzo 2001

Institute for Logic, Language and Computation, Amsterdam set. - dic. 2001.

Clare Hall, Cambridge (UK), marzo-giugno 2004.