浙江大学逻辑与认知研究所所长

求是特聘教授

浙江大学-卢森堡大学高等智能系统与推理联合实验室主任，浙江大学脑机智能全国重点实验室逻辑计算组组长，国家社会科学基金重大项目“新一代人工智能驱动的逻辑学研究”首席专家。长期从事逻辑、认知和人工智能的文理交叉研究。在AIJ、IJCAI、KR、《中国社会科学》等顶级学术刊物及国际会议上发表论文多篇。