Mirko Viroli's Home

Affiliations & Contact

• Department DISI of the Alma Mater Studiorum-Università di Bologna

Teaching

• Academic year 2012/2013 courses: Fondamenti di Informatica A
• Academic year 2011/2012 courses: Fondamenti di Informatica A and Linguaggi e Modelli Computazionali LM
• Courses page: with information about old courses
• IT - *Ricevimento: Si controlli (anche per eventuali variazioni) la pagina del docente sul portale UNIBO: MV

Research

• Main interests:
  • Topics: computational models and languages, and their relationship with software infrastructures and system analysis and simulation
  • Application contexts: pervasive computing, self-organisation, coordination, and object-orientation
• Systems:
  • ALCHEMIST: a chemical-oriented simulator for natural and artificial situated systems, there including pervasive computing applications with emergent properties
• Projects:
  • Current: SAPERE, Self-aware Pervasive Service Ecosystems (FP7 STREP), 2010-2013, Role: UNIBO team leader, WP leader
  • Current: Compositionality, Interaction, Negoziation, Autonomicity for the future ICT society, PRIN 2010-2011, Role: UNIBO member
    • My personal CINA page here
  • 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.