User:Adovier

Alberto Policriti
Alberto Policriti attending a conference
Born	(1960-11-12)November 12, 1960 Biella, Italy
Nationality	Italian
Scientific career
Fields	Computer sciences
Institutions	New York University University of Udine
Doctoral advisor	Martin Davis
Doctoral students	Agostino Dovier Angelo Montanari Giovanna D'Agostino Carla Piazza Raffaella Gentilini Alberto Casagrande Simone Scalabrin Marco Zantoni Cristian Del Fabbro Francesco Vezzi Alexandru Tomescu Francesca Nadalin Fausto Galvan Riccardo Vicedomini Nicola Prezza Simone Silvetti

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.

• Domenico Cantone; Eugenio G. Omodeo; Alberto Policriti (2001). Set Theory for Computing: From Decision Procedures to Declarative Programming with Sets. Springer Verlag.
• Eugenio G. Omodeo; Alberto Policriti (2016). Martin Davis on Computability, Computational Logic, and Mathematical. Springer Verlag.
• Eugenio G. Omodeo; Alberto Policriti; Alexandru I Tomescu (2017). On Sets and Graphs Perspectives on Logic and Combinatorics. Springer Verlag.
• Domenico Cantone; Eugenio G. Omodeo; Alberto Policriti (1990). "The automation of syllogistic - II. Optimization and complexity issues". Journal of Automated Reasoning. Vol. 6(2). pp. 173–187.
• Alberto Policriti; Jacob T Schwarz (1995). "T-Theorem Proving". J. Symb. Comput. Vol. 20(3). pp. 315–342.
• Agostino Dovier; Alberto Policriti; Gianfranco Rossi (1998). "A Uniform Axiomatic View of Lists, Multisets, and Sets, and the Relevant Unification Algorithms". Fundam. Informaticae. Vol. 36(2-3). pp. 201–234. {{cite news}}: Cite has empty unknown parameters: |1= and |2= (help)
• Johan Van Benthem; Giovanna D'Agostino; Angelo Montanari; Alberto Policriti (1998). "Modal Deduction in Second-Order Logic and Set Theory - II". Studia Logica. Vol. 60(3). pp. 387–420.
• Agostino Dovier; Carla Piazza; Alberto Policriti (2004). "An efficient algorithm for computing bisimulation equivalence". Theoretical Computer Science. Vol. 311(1-3). pp. 221–256.
• "O. Jaillon"; "J.M. Aury"; "B. Noel"; Alberto Policriti; et al. (2007). "The grapevine genome sequence suggests ancestral hexaploidization in major angiosperm phyla". Nature. Vol. 449 (7161). pp. 463–467.
• Raffaella Gentilini; Carla Piazza; Alberto Policriti (2008). "Symbolic graphs: Linear solutions to connectivity related problems". Algorithmica. Vol. 50(1). pp. 120–158.
• Francesca Nadalin; Francesco Vezzi; Alberto Policriti (2012). "GapFiller: A de novo assembly approach to fill the gap within paired reads". BMC Bioinformatics. Vol. 13. pp. s8.
• Alberto Policriti; Nicola Prezza (2018). "LZ77 Computation Based on the Run-Length Encoded BWT". Algorithmica. Vol. 80(7). pp. 1986–2011.