博士申请 | 浙江大学廖备水教授课题组招收2023级学术博士和硕士研究生
-
“浙江大学-卢森堡大学高等智能系统与推理联合实验室”(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
招生专业
计算机科学与技术
招生信息
-
研究方向为可解释人工智能、人工智能逻辑、知识推理与认知智能等;
-
英语六级需要480分;
-
组内研究氛围很好,欢迎有一定编程基础的同学、对科研有热情的同学加入实验室,一起做一些有意思的研究,有machine learning基础的同学优先。
申请方式
联系邮箱:baiseliao@zju.edu.cn
-