Alberto Policriti

Ha conseguito la laurea in Matematica presso l'Università degli Studi di Torino nel 1984 e il dottorato di ricerca in Informatica sotto la supervisione di M. Davis nel 1990. Dal 1989 è all'Università degli Studi di Udine, dove attualmente è professore ordinario di Informatica presso il Dipartimento di Matematica, Informatica e Fisica. I suoi principali interessi di ricerca riguardano la logica computazionale e gli algoritmi: algoritmi per problemi insiemistici e combinatori, logiche modali e temporali, e algoritmi/modelli per la bioinformatica. È coautore di due monografie e ha supervisionato o co-supervisionato 18 tesi di dottorato in logica, algoritmi e bioinformatica. È uno dei quattro fondatori dell'"Istituto di Genomica Applicata", è stato membro del comitato scientifico del GNCS – Istituto di Alta Matematica – e dell'EATCS – European Association for Theoretical Computer Science. Lui ed Eugenio Omodeo hanno co-curato un libro su Martin Davis nella serie di Springer "Outstanding Contributions to Logic".