È professore ordinario di informatica presso l'Università degli Studi di Perugia. Si occupa di programmazione con vincoli, rappresentazione della conoscenza, sicurezza informatica, argomentazione computazionale e tecnologie basate su registri distribuiti.
Biografia
Si è laureato in Scienze dell'informazione all'Università di Pisa nel 1994 e ha conseguito nella stessa università il dottorato di ricerca in informatica nel 2001, con una tesi intitolata Soft Constraint Solving and Programming: a General Framework. La tesi ha ricevuto riconoscimenti dal capitolo italiano della European Association for Theoretical Computer Science e dall'Associazione Italiana per l'Intelligenza Artificiale.
Ha svolto attività di ricerca presso l'Università di Pisa, l'Università degli Studi di Padova e l'Istituto di Informatica e Telematica del Consiglio Nazionale delle Ricerche. Nel 2002 è diventato ricercatore presso l'Università degli Studi "Gabriele d'Annunzio" di Chieti-Pescara, dove dal 2005 ha lavorato come professore associato. Nel 2008 si è trasferito all'Università degli Studi di Perugia, prima come professore associato e successivamente come professore ordinario.
Attività scientifica
Programmazione con vincoli
Con Ugo Montanari e Francesca Rossi ha proposto un modello algebrico basato sui semiring per rappresentare differenti classi di problemi di soddisfacimento di vincoli e di ottimizzazione. Il modello è stato presentato nel 1997 nell'articolo Semiring-based Constraint Satisfaction and Optimization, pubblicato sul Journal of the ACM.
Nel 1999 ha partecipato, insieme a Montanari, Rossi, Thomas Schiex, Gérard Verfaillie e Hélène Fargier, a uno studio comparativo sui semiring-based constraint satisfaction problems e sui valued constraint satisfaction problems, pubblicato sulla rivista Constraints. Nel 2004 ha pubblicato la monografia Semirings for Soft Constraint Solving and Programming.
Sicurezza informatica e blockchain
Ha applicato la programmazione con vincoli all'analisi dei protocolli di sicurezza. Con Giampaolo Bella ha pubblicato nel 2004 uno studio nel quale alcune proprietà dei protocolli vengono rappresentate mediante livelli graduati di sicurezza.
Presso l'Università degli Studi di Perugia coordina il Cyber Security Research Lab, nodo locale del Cyber Security National Lab del Consorzio interuniversitario nazionale per l'informatica. Il gruppo ha svolto ricerche sull'analisi delle transazioni Bitcoin e ha sviluppato strumenti di visualizzazione dei flussi e di analisi degli indirizzi. Nel 2018 Il Sole 24 Ore ha descritto un'applicazione di tali strumenti all'individuazione di uno schema Ponzi. Nello stesso anno Bistarelli ha partecipato come esperto all'inchiesta multimediale Criptomondi del programma televisivo Report.
Argomentazione computazionale
Nell'ambito dell'argomentazione computazionale ha studiato l'impiego della programmazione con vincoli per la rappresentazione degli argumentation frameworks. Con Francesco Santini ha sviluppato ConArg, un sistema basato su vincoli per l'analisi di framework di argomentazione astratta.
È tra i coordinatori del gruppo di lavoro sull'argomentazione in intelligenza artificiale dell'Associazione Italiana per l'Intelligenza Artificiale.
Opere (parziale)
Onorificenze
Note
Collegamenti esterni
Profilo istituzionale presso l'Università degli Studi di Perugia Bibliografia scientifica su DBLP
Categoria:Professori dell'Università degli Studi di Perugia Categoria:Studenti dell'Università di Pisa Categoria:Cavalieri OMRI