Libri di Agostino Dovier

Agostino Dovier, nato a Grado, ha conseguito la Laurea in Scienze dell’Informazione all’Università di Udine e il dottorato di ricerca in Informatica all’Università di Pisa. È professore ordinario di Fondamenti dell’informatica all’Università di Udine, dove dal 2016 ricopre il ruolo di coordinatore dei corsi di studio in discipline informatiche. La sua area di ricerca principale è la programmazione logica e a vincoli e le relative ricadute applicative. In questo ambito è stato general chair, program chair, keynote speaker del principale convegno internazionale, presidente dell’associazione italiana dal 2012 al 2018 e curatore del volume A 25 Year Perspective on Logic Programming. Dal 2018 è membro della commissione di abilitazione scientifica nazionale del settore 01/B1 Informatica.