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
Ha scritto oltre 300 articoli (fra cui più di 80 su riviste
internazionali referate) sui linguaggi di programmazione, e su
modelli, metodologie, e infrastrutture di coordinazione,
auto-organizzazione, e per sistemi multi-agente ed applicazioni IoT. Il suo h-index è 49 (fonte GoogleScholar, Marzo 2023).
Mirko Viroli è membro dell'Editorial Board del Magazine IEEE Software, ed ha curato l'edizione di svariati numeri di Journal a diffusione internazionali. E' 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.
E' 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 ddel paradigma dell'aggregate
computing.
Attività istituzionale
È membro del Collegio di Dottorato in Computer Science and Engineering dell'Università di Bologna, Presidente del Corso di Laurea Magistrale in Ingegneria e Scienze Informatiche a Cesena dal 1/10/2018, e Responsabile dell'Unità Operativa di Sede (UOS) di Cesena del DISI.