Moon Base · Archive No. 001
PhD candidate · MPI-SP / Ruhr University Bochum
From Scientific Insights to Creative Worlds.
LATEST [LICS '26 (Accepted)] Complete Relational Logic for Infinite-Dimensional Quantum Programs with Unbounded Assertions