Collektive ↗
A Kotlin Multiplatform implementation of aggregate computing based on the exchange calculus.
Kotlin · Aggregate computing · Domain-specific languagesHello, I'm
Angela Cortecchia
Ph.D. student in Computer Science and Engineering
University of Bologna · Cesena, Italy
About me
I am a Ph.D. student at the Department of Computer Science and Engineering of the University of Bologna, under the supervision of Danilo Pianini and the co-supervision of Mirko Viroli.
My research focuses on advances in collective robotics through macro-programming. I am interested in aggregate computing, self-organising systems, distributed control, and the tools required to move from high-level coordination models to practical robotic systems.
I am also a contributor to Collektive, a Kotlin Multiplatform implementation of aggregate computing based on the exchange calculus.
I am a member of the Pervasive Software Lab (PsLab), where we work on intelligent, adaptive, and scalable distributed systems.
Recent updates
- Publicity Chair for the 7th IEEE International Conference on Autonomic Computing and Self-Organizing Systems (ACSOS 2026).
- Presented research at DCOSS-IoT 2026.
- Received the ACSOS 2025 Best Student Paper Award for the work on runtime replanning in swarm robotics missions.
- Started my Ph.D. in Computer Science and Engineering at the University of Bologna.
Latest publications
A selection of recent peer-reviewed work.
2026
Flexible Distributed Particle Filtering for the Internet of Things via Aggregate Computing
DOI
A. Cortecchia, D. Domini, G. Ciatto, R. Casadei, D. Pianini, and M. Viroli. CoRR, pp. 601–606.High-Fidelity Simulation of Aggregate Computing Systems with Collektivity
DOI
F. Gurioli, M. Baiardi, A. Cortecchia, and D. Pianini. COORDINATION 2026, pp. 263–281.A Self-stabilizing Min-Max Consensus via Path-Loop Detection
DOI
A. Cortecchia, D. Pianini, and M. Viroli. COORDINATION 2026, pp. 93–114.FieldVMC: an asynchronous model and platform for self-organising morphogenesis of artificial structures
DOI
A. Cortecchia, G. Ciatto, R. Casadei, and D. Pianini. Complex Intell. Syst..HarmoniKt: a Unifying Middleware for Heterogeneous Robot Fleets
DOI
M. Andruccioli, A. Cortecchia, D. Domini, N. Farabegoli, G. Delnevo, D. Pianini, R. Venanzi, and M. Viroli. CCNC 2026, pp. 1–6.
Highlighted projects
CAROL↗
A distributed multi-robot control framework combining aggregate programming with Control Lyapunov and Control Barrier Functions.
Kotlin · Distributed control · Robot safetyProject Emerge ↗
A modular open-source toolchain for practical multi-robot demonstrations based on aggregate computing.
Scala · Python · React · Swarm roboticsFieldVMC ↗
Experiments for a field-based generalisation of the vascular morphogenesis controller.
Kotlin · Self-organisation · MorphogenesisTeaching
- Object-Oriented Programming
Teaching tutor, Bachelor’s Degree in Computer Science and Engineering, University of Bologna. - Computer Architecture
Teaching tutor, Bachelor’s Degree in Computer Science and Engineering, University of Bologna.
Supervised theses
Bachelor’s and Master’s theses supervised or co-supervised.
2026
-
Lowering the Reality Gap in Aggregate Programs Validation: Running Collektive Over Unity.
-
Un linguaggio per domarli tutti: applicazioni full stack con librerie native in Kotlin Multiplatform
2025
-
Multi-platform distributed systems with Aggregate Computing in Kotlin: the case of proximity messaging.
-
Da MIT Proto a Collektive: Trasposizione di esempi di programmazione aggregata in un DSL in Kotlin.
-
Static Analysis of Aggregate Programs through Compiler Plugins
Contact
You can reach me at angela.cortecchia@unibo.it.
Department of Computer Science and Engineering
University of Bologna · Cesena, Italy