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 formal techniques
for program correctness and program transformation, and in particular analysis and transformation techniques
for logic programs.


Then my research activity moved to Computational Biology.

Topics of interest are: