数据库 && 创业 && 码农
数据库系统领域创业者，工程师，研究者。 对数据库系统，分布式系统，形式化方法在系统领域的应用感兴趣。 喜欢Rust，TLA+。 热爱游戏，骑行，阅读，旅行。 生活在上海。
独立业务服务：
数据库选型、部署、规划咨询；
系统深度缺陷测试，包括并不限于以下内容：
- 测试正确性关键系统，如共识，区块链
- 规范开发工具sedeve-kit使用
- 协助编写形式化规范
- 应用规范驱动开发、以及测试、部署、CI/CD流程构建
联系我:
- [邮箱] guohua at s cup t dot com