廖备水

　　廖备水，浙江大学求是特聘教授，教育部长江学者特聘教授，浙江大学哲学学院（逻辑学）、计算机学院（人工智能、计算机应用技术）博士生导师，国家社会科学基金重大项目“新一代人工智能驱动的逻辑学研究”首席专家。

　　2006年博士毕业于浙江大学人工智能研究所，随后进入浙江大学哲学系/语言与认知研究中心从事博士后研究，2007年被评为浙江大学优秀博士后，2008年晋升副教授并留校任教，2009年至2011年受浙江大学“新星计划”资助赴美国德克萨斯大学奥斯汀分校开展合作研究，2011年被认定为浙江大学“求是青年学者”，具有博士生招生资格，2013年晋升教授，2019年入选教育部长江学者奖励计划特聘教授，长期从事逻辑、认知和人工智能的文理交叉研究。

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

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

　　在研项目：

　　国家社会科学基金重大项目： “新一代人工智能驱动的逻辑学研究”（2020.12-2025.12）

　　浙江省自然科学基金项目：“可用且高效的概率论辩理论及算法研究”（2020.1-2022.12）

　　科技创新2030---“新一代人工智能”重大项目： “非完全信息条件下的博弈决策”(2018AAA0100900) (子课题，2020.1-2023.12)

　　浙江大学教育基金会浙江大学-世界顶尖大学合作计划基金项目：“人工智能、机器人与推理基础理论与方法研究”（合作高校：剑桥大学，2019.1-2020.12, 2021.1-2022.12）

　　蚂蚁金服安全专项科研基金： “基于结构化数据与文本信息的Argumentation Technology算法研究”（2019-2020）

　　国家社会科学基金重大项目： “汉语隐喻的逻辑表征与认知计算” (子课题，2018.12-2022.12）

　　国家社会科学基金重大项目： “基于社交网络的信息流逻辑研究”（子课题，2017.12-2021.12）