Computer Science · Research · Teaching · Public engagement

Alessandro Bocci

Researcher and lecturer in Computer Science

Department of Computer Science, University of Pisa

I study how to design, distribute, and make software systems observable across heterogeneous infrastructures, from the Cloud–Edge continuum to the quantum cloud, with a focus on security, sustainability, and quality of service.

Open to research collaborations, thesis projects, and public engagement initiatives.

01 · Profile

Designing software that knows where and how it should run

My research focuses on engineering distributed software systems that run across heterogeneous infrastructures. A common thread is turning differences in capacity, reliability, energy use, cost, and trust into actionable information for placement, decomposition, orchestration, and execution decisions.

I work with declarative models, service-oriented architectures, open-source prototypes, and reproducible experiments. In recent years, I have extended these topics from the Cloud–Edge continuum to quantum cloud infrastructures.

Fixed-term Assistant Professor (RTD-A)University of Pisa
Assistant ProfessorFaculty of Information Studies, Novo mesto

02 · Research

Heterogeneous infrastructures, observable requirements, reproducible software

Three interconnected research directions, united by a focus on non-functional requirements, reproducibility, and the development of practically reusable tools.

01

Quantum software engineering

Methods and infrastructures to distribute, optimise, and make the execution of quantum circuits reproducible across heterogeneous QPUs: circuit cutting, shot distribution, benchmarking, hardware-aware selection, and adaptive execution control.

  • Quantum cloud
  • QPU selection
  • Circuit cutting
  • Benchmarking
02

Cloud–Edge and sustainability

Placement and simulation of distributed applications across the Cloud–Edge continuum, with a particular focus on FaaS orchestrations, energy-data observability, resource consumption, and microservice architectures.

  • Cloud–Edge
  • FaaS
  • Observability
  • Green software
03

Software security

Security-by-design for distributed applications: placement informed by information flows and provider trust, threat modelling, secure partitioning, and trustworthy execution platforms.

  • Secure placement
  • Information flow
  • Threat modeling
  • Trusted execution

Projects and software

From methods to open artefacts

GitHub profile
Quantum software

Cut&Shoot

Distributes quantum-circuit fragments and shots across multiple NISQ computers, reconstructing the final result and analysing trade-offs among parallelism, overhead, and quality.

Repository
Benchmarking

QSimBench

A library, dataset, and set of procedures for reproducibly comparing quantum software across algorithms, circuits, shot budgets, and different backends.

Repository
Energy data

ODA

A microservice architecture for acquiring, transforming, aggregating, and making heterogeneous energy data observable, developed within the NEST project.

Repository
Secure placement

FaaS2Fog

A declarative prototype for determining placements of FaaS chains while accounting for hardware, software, latency, data-sensitivity, and provider-trust requirements.

Repository
Simulation

LambdaContSim

A discrete-event simulator for deploying and executing FaaS orchestrations on dynamic Cloud–IoT infrastructures, including failures, recoveries, and energy metrics.

Repository
Public engagement

QTris

An educational public-engagement application that uses an interactive game to introduce quantum computing and quantum software concepts.

Repository

03 · Publications

Publications

A selection of representative publications. The complete and up-to-date list is available on Google Scholar and ORCID.

9 visible publications

2026

How Many Shots Are Enough for a Quantum Circuit?

Giuseppe Bisicchia, Alessandro Bocci, Ernesto Pimentel, Antonio Brogi

Journal · ACM Transactions on Quantum Computing

↗
2026

Cut&Shoot: Distributed Execution of Quantum Circuit Fragments

Giuseppe Bisicchia, Alessandro Bocci, José García-Alonso, Juan M. Murillo, Antonio Brogi

Journal · IEEE Transactions on Quantum Engineering, vol. 7, art. 3102214

↗
2026

Rethinking Services in the Quantum Age: The SOQ Paradigm

José García-Alonso, Enrique Moguel, Jaime Alvarado-Valiente, Javier Romero-Álvarez, Álvaro M. Aparicio-Morales, Juan M. Murillo, Francisco Javier Cavero, Adrián Romero-Flores, Alfonso E. Márquez-Chamorro, José Antonio Parejo, Antonio Ruiz-Cortés, Giuseppe Bisicchia, Alessandro Bocci, Antonio Brogi

Journal · ACM Transactions on Software Engineering and Methodology

↗
2025

QSimBench: An Execution-Level Benchmark Suite for Quantum Software Engineering

Giuseppe Bisicchia, Alessandro Bocci, José García-Alonso, Juan M. Murillo, Antonio Brogi

Conference · 2025 IEEE International Conference on Quantum Computing and Engineering (QCE), vol. 2, pp. 175–180

↗
2024

Towards Enabling Observability of Energy Demand, with NEST

Alessandro Bocci, Antonio Brogi, Gianpaolo Cugola, Stefano Forti, Luca Mottola, Virginia Pilloni, Sabrina Romano, Jacopo Soldani, Elio Usai

Conference · Proceedings of FRAME ’24, ACM, pp. 5–6

↗
2023

Declarative Secure Placement of FaaS Orchestrations in the Cloud-Edge Continuum

Alessandro Bocci, Stefano Forti, Gian-Luigi Ferrari, Antonio Brogi

Journal · Electronics, vol. 12, no. 6, art. 1332

↗
2023

Secure Partitioning of Cloud Applications, with Cost Look-Ahead

Alessandro Bocci, Stefano Forti, Roberto Guanciale, Gian-Luigi Ferrari, Antonio Brogi

Journal · Future Internet, vol. 15, no. 7, art. 224

↗
2023

Sustainable Cloud-Edge Infrastructure as a Service

Alessandro Bocci, Stefano Forti, Antonio Brogi

Conference · 12th Mediterranean Conference on Embedded Computing (MECO 2023), IEEE, pp. 1–4

↗
2021

Secure FaaS orchestration in the fog: how far are we?

Alessandro Bocci, Stefano Forti, Gian-Luigi Ferrari, Antonio Brogi

Journal · Computing, vol. 103, no. 5, pp. 1025–1056

↗

04 · Public engagement

Computer science and quantum computing beyond the classroom

Two ongoing activities through which I bring research and programming beyond the classroom, with initiatives for students, families, and non-specialist audiences.

Contact

Let’s discuss research, thesis projects, or public engagement.

Open to research collaborations, thesis projects, and public engagement initiatives.