Foto del docente

Roberto Casadei

Ricercatore a tempo determinato tipo b) (senior)

Dipartimento di Informatica - Scienza e Ingegneria

Settore scientifico disciplinare: INF/01 INFORMATICA

Curriculum vitae

Scarica Curriculum Vitae (.pdf 661KB )

Ricercatore a tempo determinato di tipo B (RTD-B) al Dipartimento di Informatica - Scienza e Ingegneria, Università di Bologna, svolge ricerca nell'ambito dell'ingegneria di sistemi distribuiti, adattativi, complessi. 

Ricerca

I suoi interessi di ricerca si sviluppano negli ambiti dei linguaggi di programmazione, sistemi distribuiti, e intelligenza artificiale. Attualmente, le attività di ricerca si concentrano su Aggregate Computing, un paradigma per programmare sistemi adattativi collettivi da una prospettiva globale. Cura lo sviluppo di ScaFi, un toolkit per la programmazione aggregata nel linguaggio Scala.

Pubblicazioni

Ha più di 60 pubblicazioni, di cui più di 20 su riviste internazionali. Il suo H-Index è 16 (SCOPUS), 18 (Scholar).

Servizio

Ha organizzato i workshop ASMECC (Autonomic and Self-* Management for the Edge-Cloud Continuum) 1a edizione (2023), DISCOLI (DIStributed COLlective Intelligence), 2a edizione (2023), 1a edizione (2022) ad eCAS (Engineering Collective Adaptive Systems), edizione 2021 e 2019.
Ha partecipato al comitato organizzativo e di programma di varie conferenze tra cui ACSOS, COORDINATION, SAC. In particolare, ha svolto i ruoli di Membro Senior del PC di ACSOS'23 e Artifact Evaluation Chair per ACSOS'23 e DisCoTec'23.

Attività editoriale

E' membro del board editoriale di JAISCR (Journal of Artificial Intelligence and Soft Computing Research). E' guest editor per special issue sulle riviste Science of Computer Programming (Software Track)Frontiers in Robotics and AI e MDPI Electronics.

Attività didattica

Ha insegnato nei corsi di Progettazione e Sviluppo del Software (a.a. 23-24, 22-23; LP in Tecnologie dei Sistemi Informatici), Algoritmi e Strutture Dati (a.a. 23-24; LP in Tecnologie dei Sistemi Informatici), Laboratorio di Programmazione di Sistemi Mobile (a.a. 23-24; LP in Tecnologie dei Sistemi Informatici), Fondamenti di Informatica (a.a. 23-24, 22-23, 21-22, 20-21; LT in Ingegneria Elettronica per l'Energia e l'Informazione), Programmazione a oggetti (a.a. 22-23, 21-22, 20-21; LT in Ingegneria e Scienze Informatiche).

Formazione

Dottore di ricerca, dal 2020, in Computer Science & Engineering, con tesi intitolata "Engineering Self-Adaptive Collective Processes for Cyber-Physical Ecosystems", su supervisione del Prof. Mirko Viroli. La tesi ha ricevuto l'Outstanding PhD Dissertation Award da parte dell'IEEE Technical Committee on Scalable Computing.

Laureato, nel 2016, con lode in Ingegneria e Scienze informatiche (LM), con tesi intitolata "Aggregate Programming in Scala: a Core Library and Actor-Based Platform for Distributed Computational Fields" (relatore: Prof. Mirko Viroli).

Laureato, nel 2013, con lode in Ingegneria elettronica, informatica, e telecomunicazioni (LT), con tesi intitolata "Reuse Mechanisms and Concurrency: from Actors to Agent-Oriented Programming" (relatore: Prof. Alessandro Ricci).

Ultimi avvisi

Al momento non sono presenti avvisi.