Carriera Accademica
Mirko Viroli è Professore Ordinario dal 2017 presso il DISI, il
Dipartimento di Informatica -- Scienza e Ingegneria dell'Università
di Bologna. Si è laureato in Ingegneria Informatica nell'ottobre
1997, ha ottenuto il titolo di dottore di ricerca nell'aprile 2002, sempre presso l'Università di
Bologna.
Attività scientifica
Mirko Viroli è esperto di Ingegneria del Software e Intelligenza Artificiale. Ha scritto oltre 300 articoli (fra cui più di 80 su riviste
internazionali referate) su linguaggi di programmazione, e su
modelli, metodologie, e infrastrutture di coordinazione,
auto-organizzazione, e per sistemi intelligenti distribuiti ed applicazioni IoT. Il suo h-index è 50 (fonte GoogleScholar).
Mirko Viroli è membro dell'Editorial Board del Magazine IEEE Software, ed ha curato l'edizione di svariati numeri di Journal a diffusione internazionali. È stato program chair della conferenza
internazionale "ACM Symposium on Applied Computing" (ACM SAC) nel
2008 e nel 2009, di "IEEE Self-adaptive and self-organising
systems" (IEEE SASO) nel 2014, e IFIP COORDINATION nel 2015; ha
organizzato l'edizione di un' altra decina di conferenze e workshop
internazionali, ed e' stato membro dei comitati scientifici e di
programma di più di 100 edizioni di conferenze e workshop
internazionali.
È stato responsabile (per l'unità locale dell'Università di
Bologna) di progetti internazionali, nazionali e locali che hanno
attratto finanziamenti esterni per un totale di più di 1 milione di euro. Fra questi citiamo un grant della Sun Microsystems Inc., quattro progetti PRIN (2004, 2006, 2017 e 2020), svariate convenzioni con aziende in Emilia-Romagna, e il progetto europeo FP7 STREP "SAPERE" (Self-Aware
Pervasive Ecosystems, 2010-2013).
Temi di ricerca
Tra i principali risultati scientifici conseguiti citiamo: (i)
l'ideazione del meccanismo dei tipi generici varianti, adottati
sotto la forma dei Java generics nel linguaggio di programmazione
Java dal 2004; (ii) l'ideazione del meta-modello Agenti &
Artefatti, l'attuale riferimento per l'ingegneria dell'ambiente nei
sistemi ad agenti; (iii) l'ideazione del modello di coordinazione
auto-organizzante degli spazi di tuple biochimici, che è fra i
punti di partenza concettuali e tecnologici del progetto "SAPERE"
sopraccitato; e (iv) l'ideazione e sviluppo del paradigma di intelligenza artificiale distribuita denominato aggregate
computing.
Attività istituzionale
È membro del Collegio di Dottorato in Computer Science and Engineering dell'Università di Bologna, ed è stato Presidente del Corso di Laurea Magistrale in Ingegneria e Scienze Informatiche a Cesena dal 2018 al 2024, Responsabile dell'Unità Operativa di Sede (UOS) di Cesena del DISI (triennio 2021-2024), e Vice-presidente di sede della Scuola di Ingegneria.
