Utente:Adovier/Sandbox

Da Teknopedia, l'enciclopedia libera.
Vai alla navigazione Vai alla ricerca
Alberto Policriti al convegno CILC 2019

Alberto Policriti (Biella, 12 Novembre 1960) è un informatico e scienziato italiano. Attivo nel campo della teoria computabile degli insiemi, dell'algoritmica su grafi e stringhe, e della bioinformatica, è professore ordinario di informatica all'Università degli Studi di Udine [1].


Formazione e carriera

[modifica | modifica wikitesto]

Laureato in Matematica all'Università di Torino, consegue poi il Master e il PhD in Computer Science presso il Courant Institute (New_York_University). In quel periodo collabora con maestri quali Jacob T. Schwartz e Martin Davis e inizia una proficua e duratura collaborazione di ricerca con Domenico Cantone e Eugenio G. Omodeo con cui sarà coautore di numerori lavori scientifici e in particolare di tre monografie [2].


Dal 1990 lavora all'Università degli Studi di Udine dove è stato coordinatore del corso di studi in Biotecnologie, coordinatore del dottorato di ricerca in Informatica ed è attualmente direttore della Scuola Superiore. [3]


Didattica e ricerca

[modifica | modifica wikitesto]

Docente in vari corsi relativi alla algoritmica, è stato relatore di una ottantina di tesi di laurea, e supervisore di sedici dottori di ricerca, non solo presso l'ateneo udinese. [4] [5]

Pubblicazioni

[modifica | modifica wikitesto]

Si riportano, oltre alle tre già citate monografie, alcuni dei lavori scritti assieme ai suoi allievi.

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



  1. ^ Scheda di Alberto Policriti, su Università di UDine. URL consultato l'11 Novembre 2020.
  2. ^ Pubblicazioni di Alberto Policriti, su DBLP. URL consultato l'11 Novembre 2020.
  3. ^ Scuola Superiore dell'Università di Udine, su UNIUD. URL consultato l'11 Novembre 2020.
  4. ^ Studenti di Alberto Policriti, su mathgenealogy.org. URL consultato l'11 Novembre 2020.
  5. ^ Alumni del dottorato di Informatica di Udine, su dmif.uniud.it. URL consultato l'11 Novembre 2020.