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:
- analysis techniques for bio-sequences.
formal description and analysis techniques 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.
You can try them in BioLab