Talks
| 6 Feb 2025 | From Physical Experiment to Language |
|---|---|
| Critical Natural Philosophy III, Gandria & Lugano, Switzerland | |
| Slides | |
| 12 Sep 2024 | Specification and Verification of Quantum Network Protocols [PLDI 2024] |
| WQRN’24: Workshop on Quantum Repeaters and Networks, Montreux, Switzerland | |
| Poster | |
| 26 Jun 2024 | An Algebraic Language for Specifying Quantum Networks |
| PLDI 2025, Copenhagen, Denmark | |
| Slides · Video | |
| 10 Sep 2023 | Towards an Algebraic Specification of Quantum Networks |
| QuNet '23: 1st Workshop on Quantum Networks and Distributed Quantum Computing, New York NY USA | |
| Slides | |
| 20 Jul 2023 | New Entanglement Witnesses and Entangled States |
| QPL’23, Paris FR | |
| Slides |