Alberto Policriti received his degree in mathematics from the University of Turin in 1984 and his Ph.D. in computer science under the supervision of M. Davis in 1990. From 1989, he has been at the University of Udine, where he is currently Professor of Computer Science at the Department of Mathematics, Computer Science, and Physics. His main research interests are related to Computational Logic and Algorithms: set-theoretic and combinatorial algorithms and problems, modal and temporal logics, and algorithms/models for bioinformatics. He has co-authored two monographs and has supervised or co-supervised 17 doctoral dissertations in logic, algorithms, and bioinformatics. He is one of the four founders of the “Istituto di Genomica Applicata”, has been a member of the scientific committee of GNCS – Istituto di Alta Matematica – and of the EATCS – European Association for Theoretical Computer Science.