Angelo Montanari
Angelo Montanari è ordinario di Informatica presso il Dipartimento di Matematica e Informatica dell'Università̀ di Udine. È autore di più di 150 pubblicazioni scientifiche. È stato coinvolto in molteplici progetti nazionali e internazionali; in particolare, è stato il membro italiano dello steering committee del progetto ESF "Games for Design and Verification - GAMES" (2008-2013). Da numerosi anni, opera quale reviewer di lavori sottomessi alle maggiori riviste e conferenze internazionali di informatica. È stato membro del comitato di programma di molte conferenze internazionali dedicate a rappresentazione e ragionamento temporali in informatica teorica, IA e basi di dati. Ha, inoltre, tenuto diversi corsi su argomenti collegati alle logiche temporali e alla teoria degli automi nell'ambito di scuole internazionali.