Alberto
Policriti

My work connects foundations of computer science with algorithmic approaches to large and complex data, particularly in biology.

Selected research initiatives

My research has included Epigen (computational methods for methylome analysis), the SeqAhead COST action, the National Biodiversity Future Center, and projects on formal verification and computational modelling of biological systems.

Academic appointments

1989–1992

Researcher, University of Udine

1992–2000

Associate Professor, University of Udine

Since 2000

Full Professor, University of Udine

Academic leadership and service

1998–2001

Vice-Director, Department of Mathematics and Computer Science, University of Udine

2002–2006

Coordinator, Biotechnology Programme, University of Udine

2004–2013

Member, Scientific Commission of the National Group for Scientific Computing (GNCS), Istituto Nazionale di Alta Matematica (INdAM)

2008–2017

Coordinator, PhD Programme in Computer Science, University of Udine

2013–2017

Member, Council of the European Association for Theoretical Computer Science (EATCS)

2015–2018

Vice-President, Institute of Applied Genomics (IGA)

2016–2019

Vice-Director, Scuola Superiore di Udine

2019–2025

Director, Scuola Superiore di Udine

Visiting appointments

My visiting appointments have included the Robotics Laboratory at New York University (1991 and 1992); the Department of Computer Science at Stanford University (September–October 2001); the NYU Bioinformatics Laboratory (March 2002); and the Laboratoire de Génomique Analytique at Université Pierre et Marie Curie, Paris (July 2005 and September–October 2016). In June 2006, I was a Scottish Informatics and Computer Science Alliance Distinguished Visitor at the University of Edinburgh, Scotland.

My academic service has also included editorial boards, research evaluation committees and collaborations with the Institute of Applied Genomics.

My doctoral supervision and co-supervision span logic, algorithms, formal methods and computational biology. The following students and dissertation topics reflect this work.

• Agostino DovierComputable Set Theory and Logic ProgrammingPhD in Computer Science, Pisa–Udine
• Angelo MontanariMetric and Layered Temporal LogicUniversity of Amsterdam · co-promotor with J. F. A. K. van Benthem
• Giovanna D’AgostinoModal Logic and Set Theory: Translation, Bisimulation and InterpolationUniversity of Amsterdam · co-promotor with J. F. A. K. van Benthem
• Carla PiazzaComputing in Non Standard Set TheoriesUniversity of Udine
• Raffaella GentiliniGraph Algorithms for Massive Data SetsUniversity of Udine
• Nicola VitacolonnaIntervals: decidability, algorithms, and gamesUniversity of Udine · co-advisor Angelo Montanari
• Alberto CasagrandeHybrid Systems: a first-order approach to verification and approximation techniquesUniversity of Udine · co-advisor T. Villa
• Simone ScalabrinFloating inside the genomes: from physical maps to transposable elements annotationUniversity of Udine
• Marco ZantoniBioinformatics support in a DNA sequence processUniversity of Udine
• Cristian Del FabbroRepeated sequences in bioinformatics: assembly, annotation and alignmentsUniversity of Udine
• Francesco VezziNext Generation Sequencing Revolution Challenges: Search, Assemble, and Validate GenomesUniversity of Udine
• Alexandru I. TomescuSets as GraphsUniversity of Udine
• Francesca NadalinPaired is better: local assembly algorithms for NGS paired reads and applications to RNA-seqUniversity of Udine
• Riccardo VicedominiAlignment and reconciliation strategies for large-scale de-novo assemblyUniversity of Udine
• Fausto GalvanFirst Quantization Table Detection in Double Compressed JPEG ImagesUniversity of Udine · co-advisor Sebastiano Battiato
• Nicola PrezzaCompressed Computation for Text IndexingUniversity of Udine
• Simone SilvettiCombining Machine Learning and Formal Methods for Complex Systems DesignUniversity of Udine · co-advisor Luca Bortolussi
• Eleonora PippiaOptimization and Modeling Techniques for Food Service AppliancesUniversity of Udine
• Emanuele ScapinTask-related models to teach and assess the learning of iteration in the high schoolUniversity of Udine · co-advisor Claudio Mirolo
• Davide MartincighAutomata and orders: the Wheeler class. Complexity, bounds, and operationsUniversity of Udine · co-advisor Giovanna D’Agostino
• Brian Riccardi
• Francesco Nascimben
• Simone Boscaratto

Complete publication records and bibliographic information are available through these services.

• Google Scholar ↗Publications and citations
• DBLP ↗Author bibliography
• PubMed ↗Author search · publications indexed in PubMed
• University of Udine research archive ↗Institutional publications

Books

• Set Theory for Computing: From Decision Procedures to Declarative Programming with SetsD. Cantone, E. G. Omodeo, A. Policriti · Springer, 2001
• Martin Davis on Computability, Computational Logic, and Mathematical FoundationsE. G. Omodeo, A. Policriti (editors) · Springer, 2016
• On Sets and GraphsE. G. Omodeo, A. Policriti, A. I. Tomescu · Springer, 2017