https://ybbh.github.io/post/ai%E8%BE%85%E5%8A%A9%E8%BD%AF%E4%BB%B6%E5%B7%A5%E7%A8%8B/ Recent content in AI辅助软件工程 on 欢迎来到我的空间 Hugo cn Copyright © 2025, Guo Hua. Mon, 08 Jun 2026 00:00:00 +0800 https://ybbh.github.io/resume/ Sat, 10 May 2025 17:45:07 +0800 https://ybbh.github.io/resume/ <h1 id="郭华--hua-guo">郭华 / Hua Guo</h1> <p>计算机软件与理论博士，现为华东师范大学博士后。主要研究方向包括云原生数据库、分布式系统、形式化方法在系统软件中的应用、云环境零信任安全以及 AI 辅助软件工程。曾参与列存储数据库、大数据分析平台、地图基础数据平台等工程系统研发，当前重点开展新型数据库管理与应用执行一体化系统研究。</p> <hr> <h2 id="教育经历">教育经历</h2> <ul> <li><strong>中国人民大学</strong>，计算机软件与理论，博士，2019.9 &ndash; 2024.12</li> <li><strong>中国人民大学</strong>，计算机软件与理论，硕士，2016.9 &ndash; 2019.6</li> <li><strong>海南大学</strong>，计算机科学与技术，学士，2007.9 &ndash; 2011.6</li> </ul> <hr> <h2 id="工作经历">工作经历</h2> <h3 id="华东师范大学博士后研究人员">华东师范大学，博士后研究人员</h3> <p><strong>2024.3 &ndash; 至今</strong></p> <p>围绕云原生数据库、数据密集型应用执行、系统软件验证与 AI 辅助软件工程等方向开展研究工作，重点关注数据库系统架构、分布式事务处理、形式化验证方法与系统工程实践的结合。</p> <h3 id="开珀卡珀scuptio创始人">开珀卡珀（scuptio），创始人</h3> <p><strong>2023.1 &ndash; 至今</strong></p> <p>负责MuduDB数据库系统、系统软件质量保障相关项目的设计与研发，主要项目包括：</p> <ul> <li><a href="https://github.com/scuptio/mududb"><strong>MuduDB</strong></a>：面向数据密集型应用的新型数据库系统，目标是让应用逻辑能够直接运行和部署在数据库之上。</li> <li><a href="https://github.com/scuptio/sedeve-kit"><strong>sedeve-kit</strong></a>：形式化验证与测试工具，面向数据库系统的规范建模、测试生成与行为验证。</li> <li><strong>零信任系统</strong>：面向云环境与分布式系统的零信任安全机制研究与原型开发。</li> </ul> <h3 id="百度地图">百度地图</h3> <p><strong>2014.7 &ndash; 2015.7</strong></p> <p>参与百度地图基础数据平台相关研发工作，主要涉及地图基础数据处理、平台化支撑与数据服务能力建设。</p> <h3 id="东方国信">东方国信</h3> <p><strong>2012.5 &ndash; 2014.7</strong></p> <p>参与列存储数据库系统与大数据分析系统研发，主要关注数据存储、查询处理与分析型系统工程实现。</p> <h3 id="目标在线">目标在线</h3> <p><strong>2011.8 &ndash; 2012.5</strong></p> <p>从事游戏开发相关工作，参与在线游戏系统的功能开发与工程实现。</p> <hr> <h2 id="研究方向">研究方向</h2> <ul> <li><strong>云原生数据库系统</strong>：数据库系统架构、事务处理、数据密集型应用执行、云环境数据库基础设施。</li> <li><strong>分布式系统</strong>：共识协议、容错机制、分布式事务、系统一致性与可靠性。</li> <li><strong>形式化方法与系统软件验证</strong>：TLA+ 规范建模、规范驱动开发、数据库与分布式系统正确性验证。</li> <li><strong>云上零信任安全</strong>：云环境访问控制、身份认证、最小权限与系统安全边界设计。</li> <li><strong>AI 辅助软件工程</strong>：大模型辅助需求分析、规范生成、代码生成、测试生成与工程流程自动化。</li> </ul> <hr> <h2 id="代表性论文与会议">代表性论文与会议</h2> <h3 id="学术论文">学术论文</h3> <ol> <li> <p>Hua Guo, Yunhong Ji, Huiqi Hu, Xuan Zhou. <strong>A Composable Architecture for Cloud Transactional DBMS.</strong> <em>APWeb/WAIM (3)</em>, 2024: 428&ndash;443.</p>