数据库系统 / 分布式系统 / 形式化方法 / 规范驱动开发

数据库系统领域创业者、工程师、研究者。

目前全职研发 MuduDB，一个面向数据密集型应用的新型数据库管理系统，目标是让应用可以直接运行在数据库之上。

长期关注数据库系统、分布式系统、系统软件正确性，以及形式化方法在复杂系统工程中的应用。喜欢 Rust 和 TLA+，也关注 AI 辅助软件工程、规范驱动开发与系统深度测试。

工作之外，喜欢游戏、骑行、阅读和旅行。现生活在上海。

技术服务

可提供以下方向的独立技术服务：

数据库与系统咨询

• 数据库选型、部署与架构规划；
• 数据库系统设计与性能分析；
• 云原生数据库、分布式系统与状态密集型应用架构咨询。

游戏后端与云服务开发

• 游戏后端系统设计与开发；
• 云存档、账号系统、状态同步与数据服务开发；
• 面向在线游戏场景的数据存储与服务端架构设计。

系统深度缺陷测试与正确性保障

面向数据库、共识协议、区块链、分布式系统等正确性关键系统，提供深度缺陷测试与工程化验证支持，包括但不限于：

• 正确性关键系统测试，如共识协议、区块链、事务系统等；
• 规范驱动开发工具 sedeve-kit 使用支持；
• 协助编写 TLA+ 等形式化规范；
• 基于规范的测试生成、缺陷定位与系统行为验证；
• 规范驱动开发流程、测试流程、部署流程与 CI/CD 流程构建。

联系我

• 邮箱：guohua at s cup t dot com

社交账号

• WeChat

  c2N1cHRpbw==
  

• GitHub：https://github.com/ybbh

• 知乎：https://www.zhihu.com/people/scuptio