Mirko Viroli

Didattica

• Academic year 2019/2020 courses:
  • Paradigmi di Programmazione e Sviluppo
  • Programmazione ad Oggetti
  • Pervasive Computing
• Academic year 2018/2019 courses:
  • Paradigmi di Programmazione e Sviluppo
  • Programmazione ad Oggetti
  • Pervasive Computing
• 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.

Ricerca

• 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
• 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.

Tesi

• Several theses are available both for "Triennale" and "Magistrale" programs, students can come to office hours (IT: "ricevimento") and discuss them. They sit in the following areas:
  • Systems development with advanced tools/techniques for Software Engineering
  • Experiments/development with Scala programming language and frameworks
  • Experiments/development with IoT systems: mobile, embedded and cloud frameworks
  • Design of innovative self-organising large-scale systems
  • Software Engineering for business applications