| 18 Oct 2025 |
A Language for Quantifying Quantum Network Behavior
|
| |
OOPSLA 2025, Singapore |
| |
Slides
·
Video
|
| 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
|
| |
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: International Conference on Quantum Physics and Logic, Paris, France |
| |
Slides
|
