User:Adovier

Biosketch
Alberto Policriti graduated in Mathematics at the University of Torino (Italy), and then obtained his Master and PhD in Computer Science from the Courant Institute (New_York_University) under the supervision of Jacob T. Schwartz and Martin Davis. In New York he started a long-lasting research collaboration with Domenico Cantone and Eugenio G. Omodeo with whom he co-authored several scientific works and three scientific books. He is also co-author of Johan van Benthem (logician) and Bhubaneswar Mishra, just to cite a few.

Since 1990 he has been working at the University of Udine where he was the head of the courses in Biotechnology, the head of the PhD in Computer Science, and he is currently the head of the School of Excellence He acted as supervisor of roughly one hundred of master students and of 16 graduate students.

Publications
We report here the three cited books and a short selection of the papers written with his students in his three main research areas.