个人介绍
长期从事软件架构、底层框架与复杂业务系统研发,具备从业务问题抽象、通用模型设计到运行时实现的完整工程经验。
近十年持续关注软件开发中的本质复杂度问题:如何将业务语义从具体执行代码中分离,使业务结构能够被统一描述、组合、编译和执行,并在不同技术栈之间复用。
经过多年工程实践与独立技术探索,逐步形成以 Meta、Property、Relation、Function 为核心的可执行结构化语义语言设计,并通过开源项目 SchemaNode 实现相关机制,涵盖动态语义类型、关系表达、函数语义解析、执行树构建与多目标编译。
近期重点探索 AI 工程基础设施方向:通过可执行结构化语义语言,为 AI 生成的程序提供明确的语义约束与可验证的执行基础,探索降低 AI 编程中的语义漂移和跨层不一致问题。
工作经历
2025-09-01 -2026-03-15上海八彦图信息科技有限公司高级架构师
主导 Schema 驱动的动态数据建模与语义抽象系统设计和实现,推动业务建模能力向通用语义机制演进。 开发 SchemaNode 第二版系统,实现“代码即 Schema”的设计模式,通过轻量级元数据声明,使既有代码直接具备 Schema 语义能力,无需重复定义业务模型,并支持对企业微服务已有功能进行语义化抽象。 探索多语言 Schema 的统一语义表达,降低业务模型与具体实现之间的耦合。 在函数语义解析和多目标编译的实现过程中,进一步明确语义表达、语义组合与执行目标之间的关系。 2026 年 3 月起,基于个人长期技术方向与公司业务发展方向的差异,转向独立技术研发,持续推进 SchemaNode 核心架构重构与可执行结构化语义语言的探索。
2022-02-01 -2025-08-31北京山水云图科技有限公司C# 平台架构与研发
独立设计并实现面向农业大数据业务的 SaaS 服务平台,是将业务语义与执行实现分离并应用于实际业务的关键阶段,构建了 SchemaNode 的第一版系统。 为业务数据建立统一模型,将数据结构及部分业务处理规则转化为可配置的领域描述,并支持模型发布与应用端更新。 设计后端 SDK,根据应用模型维护数据库结构,并基于数据关联实现数据处理与推送链。 设计前端 SDK,统一数据获取与提交接口,依据应用模型完成视图渲染、数据校验及关联联动。 将大量重复业务逻辑转化为模型驱动执行,减少前后端重复实现及人为错误。 完成农业碳汇相关的大量数据模型构建,处理复杂的参数、采集和汇总模型及持续变化的业务规则。
教育经历
1999-09-01 - 2004-07-31中国科学技术大学计算机科学与技术本科




