postheadericon Curriculum


Date of Birth 10th of May, 1951
Marital Status Married to Giuseppa Carra'-Ferro
Daughters:Floriana, Margherita
Son: Federico
Nationality Italian

Scholastic Record:

Feb1981 Ph.D. New York University (Computer Science)
Decision procedures for some classes of unquantified set-theoretic formulae
Advisor Prof. J.T.Schwartz


Oct 1990 - present Professor of Computer Science
University of Catania-Italy
Nov1981 - Sept.1990 Associate Professor
University of Catania-Italy
March 1981-May 1981 Visiting Professor New York University
Nov 1975 - Oct. 1981 Assistant Professor University of Catania-Italy
(on sabbatical at NYU Sept 77-May 81)


Jay Krakauer Award for the best Ph.D. Dissertation in the School of Sciences at NYU in the academic year 1980-1981.

Other :

Lipari School Web SiteDirector of Graduate Studies in Computer Science at the University of Catania since 1996.
Director (since 1989) of the International School for Computer Science Researchers(Lipari School) one of the most prestigious summer schools in computer Science.


Last Updated (Friday, 04 March 2011 13:07)

Quick Search
Users On Line
We have 2 guests online