Yifan Shi (施逸帆)
共同作者 (with Wei Zhang and Tianyi Cui)，Shi Zhang & Cui 2026 A Programming Paradigm for Spatiotemporal Composability。北京大学（PKU）+ DeepSeek-AI 双重 affiliation。
关键贡献
- 时空可组合性编程范式——把 effect 与 coeffect 从编译期类型注解提升为运行时机制，为动态组合（插件系统、自演化 agent harness）提供形式化基础。
- Cordis 元框架——核心库 + 声明式 component loader + HMR 引擎的 TypeScript 实现。
- 形式化演算（与 Wei Zhang 合作）——component 与 fiber 抽象；5 条 base 规则 + 4 条 progress 规则；metatheory 含 preservation、temporal/spatial composability、progress、confluence、guard release。
Affiliations
- Peking University（北京大学）—— 推测计算机学院 PL 方向。
- DeepSeek-AI——双重 affiliation（与 Tianyi Cui 共同）。