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.
Nell’applicazione del modello riduzionista all’interazione dell’uomo con le macchine – condizione peraltro essenziale per la loro progettazione, il loro sviluppo e il loro utilizzo –…