Doctor of Philosophy, City University of New York, 1987.
Researcher, U. Siena, 1984-1992; associate professor mathematics, U. Siena, since 1992. Visiting assistant professor Queens College, New York City, 1989-1990. Coordinator European network Complexity, Logic and Recursion Theory, 1994-1997.
Member American Mathematics Society, Association for Symbolic Logic, Italian Mathematics Union.
Married Stefania Bonechi, December 30, 1989.