Mirko Viroli

Teaching

Academic year 2019/2020 courses:
Academic year 2018/2019 courses:
Other courses
IT - Ricevimento: Si controlli (anche per eventuali variazioni) la pagina del docente sul portale UNIBO: MV
IT - News Tesi: Sono disponibili Tesi di Laurea Triennale e Magistrale sperimentali, con possibilità di collaborazione (durante la tesi o post-tesi) con aziende e Università italiane e estere (EU e USA), incentrate sullo sviluppo di tool prototipali di ricerca per contesti IoT, Mobile/Edge/Cloud computing - ~~si contatti il docente per ulteriori dettagli.~~

Main interests:
- Topics: computational models and languages, and their relationship with software design, infrastructures and system analysis
- Application contexts: pervasive computing, self-organisation, coordination, and object-orientation
- Current focus: AGGREGATE COMPUTING (check the page for details).
Systems:
- ALCHEMIST: a chemical-oriented simulator for natural and artificial situated systems, there including pervasive computing applications with emergent properties
Projects:
- Current: Compositionality, Interaction, Negoziation, Autonomicity for the future ICT society, PRIN 2010-2011, Role: UNIBO member
- Past: SAPERE, Self-aware Pervasive Service Ecosystems (FP7 STREP), 2010-2013, Role: UNIBO team leader, WP leader
- Past: EOS, EOS-DUE
Publications
- Publication Log, Journal Papers, Publications page with additional info, Myself@DBLP, All publications (as PDF)
Organization of Events/Publications
- I edited the following special issues: KER 26(1), SCP 76(1), ENTCS 194(4), ENTCS 175(2), SCP 66(3), JOT 6(2), ENTCS 154(1), JOT 3(11), AAECC 16(2-3)
- I chaired the following events: WOA 2010, ACM SAC 2009, ACM SAC 2008, FINCO 2005, plus several tracks at ACM SAC since 2004.