Jialu Bao（鲍家路）
更新-260416 | 发布-260416
基本信息
- 高校：Northeastern University（美国）
- 院系：Khoury College of Computer Sciences
- 职称：博士后
- 性别：女
- 研究领域：逻辑学/编程语言理论
- 博士毕业院校：Cornell University/University of Wisconsin–Madison
- 本科毕业院校：Cornell University
个人研究情况
Jialu Bao是东北大学的博士后研究员，于康奈尔大学获得博士学位。她的研究主要聚焦于形式化验证和编程语言理论，特别是针对随机化算法的验证问题-5。她设计了概率分离逻辑，利用概率依赖性和独立性来简化随机化算法的正确性证明。近期的工作还涉及带保障的概率推断，旨在利用编程语言技术为用户编写的概率推断任务自动推导保证-5。
学术影响力
- 谷歌学术引用：102
- H指数：4
整体评价
C
备注
无