个人站点
项目
案例研究、研究原型与系统设计实践。
A visual mapping system for evolutionary data structures in generative software systems.
Formal verification pipeline for privacy-preserving identity protocols in distributed systems.