郭华简历

教育经历

• 2019.9 – 2024.12，中国人民大学，计算机软件与理论专业，博士
• 2016.9 – 2019.6， 中国人民大学，计算机软件与理论专业，硕士
• 2007.9 – 2011.6， 海南大学，计算机科学与技术专业，学士

工作经历

开珀卡珀（capcup）（2023.1 – 至今）

• 数据库正确性验证和测试工具sedeve-kit；零信任系统

百度地图（2014.7 – 2015.7）

• 百度地图基础数据平台；

东方国信（2012.5 – 2014.7）

• 列存储数据库系统；大数据分析系统

目标在线（2011.8 – 2012.5）

• 游戏开发

研究方向

云原生数据库，分布式，形式化方法在系统领域的应用，云上零信任安全

相关论文和会议列表

学术论文

• [1] Hua Guo, Yunhong Ji, Huiqi Hu, Xuan Zhou: A Composable Architecture for Cloud Transactional DBMS. APWeb/WAIM (3) 2024: 428- 443

• [2] Hua Guo, Yunhong Ji, Xuan Zhou:The Development of a TLA+ Verified Correctness Raft Consensus Protocol. APWeb/WAIM (5) 2024: 459-469

• [3] Hua Guo, Xuan Zhou, Le Cai: Lock Violation for Fault-tolerant Distributed Database System. ICDE 2021: 1416-1427 论文相关方法已被 Microsoft Orleans实现

技术报告

• [1] 使用 TLA+形式化规范驱动开发保证数据库系统软件质量，中国数据库技 术大会（DTCC2024）

• [2] Specification-Driven Development With TLA+，TLA+ Conference 2024