- Mirko Viroli
- 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
- 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
- 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.
- 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