Utente:Adovier/Sandbox
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.
Note
[modifica | modifica wikitesto]- ^ Scheda di Alberto Policriti, su Università di UDine. URL consultato l'11 Novembre 2020.
- ^ Pubblicazioni di Alberto Policriti, su DBLP. URL consultato l'11 Novembre 2020.
- ^ Scuola Superiore dell'Università di Udine, su UNIUD. URL consultato l'11 Novembre 2020.
- ^ Studenti di Alberto Policriti, su mathgenealogy.org. URL consultato l'11 Novembre 2020.
- ^ Alumni del dottorato di Informatica di Udine, su dmif.uniud.it. URL consultato l'11 Novembre 2020.