Minghao Liu（刘明昊）
更新-260416 | 发布-260416
基本信息
- 高校：牛津大学（英国）
- 院系：计算机科学系
- 职称：博士后
- 性别：男
- 研究领域：自动化推理、约束规划和组合优化的理论、算法和应用，以及符号推理与机器学习的集成
- 博士毕业院校：中国科学院大学
- 本科毕业院校：东北师范大学
个人研究情况
刘明昊现任牛津大学计算机系博士后研究员，师从 Marta Kwiatkowska 教授。本科毕业于东北师范大学计算机科学与技术专业，博士毕业于中国科学院大学，在中科院软件所完成博士研究。研究方向聚焦自动推理、约束求解、组合优化及符号推理与机器学习融合。成果发表于 NeurIPS、AAAI、IJCAI、ISSTA、ASE 等 CCF A 类顶会，获 ACM SIGSOFT 杰出论文奖、SMT 竞赛亚军等荣誉，同时承担牛津大学多门课程教学与顶会审稿工作。
学术影响力
- 谷歌学术引用：152
- H指数：7
整体评价
B
备注
邮箱: minghao.liu@cs.ox.ac.uk