廖备水

廖备水，浙江大学求是特聘教授，教育部长江学者特聘教授，浙江大学哲学学院（逻辑学）、计算机学院（人工智能、计算机应用技术）博士生导师，国家社会科学基金重大项目“新一代人工智能驱动的逻辑学研究”首席专家。
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本、国际会议论文集6本，在Artificial Intelligence、Journal of Logic and Computation、IJCAI、KR、COMMA、LORI、《中国社会科学》、《软件学报》等逻辑学和人工智能方向学术刊物及国际会议上发表多篇论文；其中，英文专著Efficient Computation of Argumentation Semantics 获“浙江省第十八届哲学社会科学优秀成果奖一等奖”和“第八届教育部高等学校科学研究优秀成果奖（人文社会科学）二等奖”。

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