Mirko Viroli

Registered user since Thu 12 Oct 2017

Name:Mirko Viroli
Bio:

Mirko Viroli is Full Professor in Computer Engineering at the DISI department (Department of Computer Science and Engineering) of the Alma Mater Studiorum - Università di Bologna (UNIBO), in Italy. In UNIBO, he is Director of Second Cycle Degree of Computer Science and Engineering, delegate of Technological Transfer for DISI department, and vice-dean of the Engineering School. He is an expert in foundations of computer science and programming, object-oriented programming, advanced software development, software engineering and self-adaptive/self-organising pervasive computing systems, and regularly teaches courses on these subjects. He is author of more than 250 papers, of which more than 60 on international journals. His GoogleScholar h-index is 42 with >6000 citations, his Scopus h-index is 29 with >3000 citations. He is member of the Editorial Board of IEEE Software magazine, and was program chair of IFIP COORDINATION 2015, the ACM Symposium on Applied Computing (SAC 2008 and 2009), and IEEE Self-Adaptive and Self-Organizing systems (SASO 2014) conferences. He has been UNIBO leader of projects granted with overall >800K Euros, among which he was team leader in the FP7-STREP project “Self-aware pervasive ecosystems” (SAPERE).

Affiliation:Alma Mater Studiorum - Università di Bologna
Research interests:Self-adaptive and self-organising systems, software engineering, programming languages, formal methods

Contributions

ACSOS 2023 Committee Member in Steering Committee
Erlang 2023 PC Member in Program Committee within the Erlang 2023-track
REBLS 2022 Committee Member in Program Committee within the Reactive and Event-Based Languages and Systems-track
ACSOS 2022 Author of Addressing Collective Computations Efficiency: Towards a Platform-level Reinforcement Learning Approach within the Main Track-track
Author of Addressing Collective Computations Efficiency: Towards a Platform-level Reinforcement Learning Approach within the Artifacts-track
Committee Member in Steering Committee
Author of Self-stabilising Priority-Based Multi-Leader Election and Network Partitioning within the Main Track-track
Author of Self-stabilising Priority-Based Multi-Leader Election and Network Partitioning within the Artifacts-track
ECOOP 2022 Author of Functional programming for distributed systems with XC within the Research Papers-track
AGERE 2021 Committee Member in Program Committee within the AGERE 2021-track
ACSOS 2021 Steering Committee Member in Steering Committee
ACSOS 2020 Steering Committee Member in Steering Committee
REBLS 2019 Committee Member in Program Committee within the REBLS-track
Scala 2019 Committee Member in Program Committee within the Scala 2019-track
VORTEX 2019 Author of A Field Calculus Implementation of Spatial Logic within the VORTEX 2019-track
SEAMS 2019 Program Committee in Program Committee within the SEAMS 2019-track
Scala 2018 Committee Member in Program Committee within the Scala 2018-track
VORTEX 2018 Author of On Distributed runtime verification by aggregate computing within the VORTEX-track
SEAMS 2018 Committee Member in Program Committee within the SEAMS 2018-track