CAAI会员服务工委会副主任

浙江大学光华法学院求是特聘教授

国家社科基金重大项目首席专家，教育部新世纪优秀人才计划入选者。主要研究领域为数字法学、法律逻辑学、人工智能逻辑等。浙江省哲学社会科学试点实验室浙江大学数字法治实验室主任，中国逻辑学会副会长，CCF计算法学分会常务委员，Argumentation(SSCI, AHCI)编委会成员，“西方法律逻辑经典译丛”“推理、论证与传播文库”主编。