博士申请 | 浙江大学廖备水教授课题组招收2023级学术博士和硕士研究生

[153****2211]

“浙江大学-卢森堡大学高等智能系统与推理联合实验室”（ZLAIRE）致力于推动高等智能系统与推理领域的科研、教学与国际合作。联合实验室分别设于浙江大学和卢森堡大学。浙江大学ZLAIRE实验室成立于2021年9月，是经浙江大学社会科学研究院批准设立的校级交叉学科研究机构。2022年5月，实验室入选首批浙江大学哲学社会科学实验室培育计划项目（A类）。

实验室主页：
https://xixilogic.org/zlaire/about-us/

导师简介

廖备水，浙江大学求是特聘教授，教育部长江学者特聘教授，浙江大学哲学学院（逻辑学）、计算机科学与技术学院（人工智能、计算机应用技术）博士生导师，国家社会科学基金重大项目“新一代人工智能驱动的逻辑学研究”首席专家。2006年博士毕业于浙江大学人工智能研究所，2019年入选教育部长江学者奖励计划特聘教授，长期从事逻辑、认知和人工智能的文理交叉研究。

现任浙江大学逻辑与认知研究所所长，浙江大学-卢森堡大学高等智能系统与推理联合实验室主任，浙江大学“双脑计划”-“逻辑、认知与人工智能”交叉创新团队负责人，浙江大学“大数据＋推理与决策”创新团队首席专家，浙江大学-剑桥大学“人工智能、机器人与推理基础理论与方法研究”项目负责人，卢森堡大学客座教授，牛津大学、剑桥大学访问学者，国际道义逻辑和规范系统学会、论证的计算模型国际会议、亚洲哲学逻辑国际会议等国际学术组织的指导委员会委员，清华大学-阿姆斯特丹大学逻辑学联合研究中心Research Fellow，CCF职业伦理和学术道德委员会常务委员，国际期刊Journal of Logic and Computation (SCI) ‘AI Logic’ Corner 责任编辑, “逻辑与论辩”国际会议（CLAR）发起人和组织者，国际期刊Argument & Computation、Journal of Applied Logics、Logics编委，IJCAI、AAAI、AAMAS、KR、COMMA、LORI、PRIMA、CLAR等重要国际会议程序委员会委员/主席。

已出版专著3本、译著1本、国际会议论文集6本，在Artificial Intelligence、Journal of Logic and Computation、IJCAI、KR、COMMA、LORI、《中国社会科学》、《软件学报》等逻辑学和人工智能方向学术刊物及国际会议上发表多篇论文；其中，英文专著Efficient Computation of Argumentation Semantics 获“浙江省第十八届哲学社会科学优秀成果奖一等奖”和“第八届教育部高等学校科学研究优秀成果奖（人文社会科学）二等奖”。

个人主页：

https://person.zju.edu.cn/beishui

招生专业

计算机科学与技术

招生信息

1. 研究方向为可解释人工智能、人工智能逻辑、知识推理与认知智能等；

2. 英语六级需要480分；

3. 组内研究氛围很好，欢迎有一定编程基础的同学、对科研有热情的同学加入实验室，一起做一些有意思的研究，有machine learning基础的同学优先。

申请方式

联系邮箱：baiseliao@zju.edu.cn