月球基地 · 档案 No. 001
博士研究生 · MPI-SP / 鲁尔大学波鸿
从科学的洞察，走向创造的世界。
最新 [LICS '26 (Accepted)] Complete Relational Logic for Infinite-Dimensional Quantum Programs with Unbounded Assertions