月球基地 · 档案 No. 001
博士研究生 · MPI-SP / 鲁尔大学波鸿
量子形式化方法 · 程序理论 · 个性化 AI 智能体
着迷于系统的设计 —— 从形式化推理到想象中的世界
最新 [LICS '26 (Accepted)] Complete Relational Logic for Infinite-Dimensional Quantum Programs with Unbounded Assertions