Quantum Networks around the Globe

Dr. Anita Buckley, first author of BellKAT, presented her latest work, PBKAT, at OOPSLA 2025 held in Singapore in October.

Anita Buckley presented her latest work, PBKAT, at the OOPSLA 2025 conference (at the ACM SIGPLAN International Conference SPLASH — the premier conference on the applications of programming languages). A recording of the presentation is now available.

This new contribution, explained Dr. Buckley, proposes a specification language with semantics that evaluates the Quality of Service of quantum networks — in particular within the challenging task of distributing entanglement over long distances. The PBKAT framework is envisioned to serve as a methodology to extract insights on how to optimally design large-scale entanglement distribution protocols.

The SWYSTEMS group is approaching the topic of quantum networks from a formal yet practical angle. The interdisciplinary team that built PBKAT includes Anita Buckley (Università della Svizzera italiana, Switzerland), Pavel Chuprikov (Télécom Paris, Institut Polytechnique de Paris, France), Rodrigo Otoni (University of Groningen, Netherlands), Robert Soulé (Yale University, USA), Robert Rand (University of Chicago, USA), and Patrick Eugster (Università della Svizzera italiana, Switzerland).

Towards new developments, the SWYSTEMS group has now welcomed Lorenzo La Corte as a PhD student, who previously worked on protocols for entanglement distribution for his Master’s thesis conducted in Professor David Elkouss’s group (OIST, Japan). In October, La Corte participated in the Geneva Quantum Week, including the Quantum Industry Day — featuring companies such as ID Quantique — and the GenQ Hackathon.

An intense month of events in the quantum world for the SWYSTEMS group.