He was born in Pisa in 1951. He received his laurea in Mathematics from the University of Padova in 1975, whith a thesis on modal logic; and his Master of Sc. and Ph.D. degrees in Computer Science from the New York University in 1978 and in 1984, with theses on the Linked Conjunct method for automatic theorem proving, and on specialized automated proof procedures for classical set theory.
He held scholarships at the New York University from Sept.1976 to Feb.1981, working there as a Research Assistant from 1978 to 1980.
From 1981 to 1989 he was employed by companies (Tema and Enidata) belonging to ENI, the National Hydrocarbon Group of Italy. He took part (1981-1984) in the implementation of a large computerized system for the simulation of gas networks and then (1984-1989) became coordinator of R&D activities of Enidata in the area of Advanced Information Processing. His group took part in various Esprit projects (Alpes (P363 and P973), Epsilon (P530), SED (P1227)), and in other research actvities sponsored by ENI, among which a project on declarative programming with sets.
He became an associate professor in 1989, and began his new activity at the University of Udine; then he moved to the University " La Sapienza" of Rome.
He became a full professor in 1994. After one year at the University of Salerno he moved to the University of L'Aquila, where from Nov.1995 to Oct.2004 he taught various courses in the field of Computer Science (among others, Operating Systems, Database systems, Computational logic). On Nov.2004, he moved to the University of Trieste.