Research Interests

I graduate in Mathematics at Universita' di Padova, where I was appointed researcher.
I pursued postgraduate research with a NATO fellowship, in the Dept. of Computer and Information Science,
University of Massachusetts, Amherst, USA.
I am Associate Professor of Computer Science at the University Ca' Foscari of Venice since November 1993.

My research interests have been at first in the fields of languages and formalisms for program correctness and
program transformation, and in particular analysis and transformation techniques for logic programs.
Then my research activity has moved to Computational Biology.

Topics of interest are:

analysis techniques for bio-sequences.
formalisms for bio-systems and for metabolic pathways.
In particular we study how Petri nets can be exploited to model and analyse metabolic pathways.
We are developing tools for automatically translating metabolic pathways into corresponding Petri nets
and for analysing and comparing them.