Si Liu
更新-260416 | 发布-260416
基本信息
- 高校：Texas A&M University（美国）
- 院系：Department of Computer Science and Engneering
- 职称：助理教授
- 性别：男
- 研究领域：数据库/分布式系统
- 博士毕业院校：University of Illinois at Urbana-Champaign
- 本科毕业院校：华东师范大学
个人研究情况
研究方向为形式化方法、数据库与分布式系统的交叉领域，利用形式化验证技术构建可靠、安全且高性能的系统。现为德克萨斯农工大学计算机科学与工程系助理教授。博士毕业于伊利诺伊大学厄巴纳-香槟分校，后在苏黎世联邦理工学院从事博士后研究并任高级研究员。论文发表于POPL、OSDI、SIGMOD、VLDB等顶会。
学术影响力
- 谷歌学术引用：1091
- H指数：30
整体评价
B
备注
无