中国数学会数理逻辑专业委员会
中国数学会数理逻辑专业委员会
专业委员会
主一任: | 高速（南开大学） |
副主任： | 丁龙云（南开大学） 王彦晶（北京大学） 喻良（南京大学） 赵希顺（中山大学） |
秘书长： | 吴刘臻（中国科学院数学与系统科学研究院） |
| 常委委员： | 端木昊随（哈尔滨工业大学） 何家亮（四川大学） 李伟（中国科学院系统科学研究所） 刘奋荣（清华大学） 彭宁宁（武汉理工大学） 申国桢（武汉大学） 施翔晖（北京师范大学） 宋诗畅（北京交通大学） 王轶（中山大学（珠海）） 姚宁远（复旦大学） |
| 委一员： | 薄谋（兰州大学） 别荣芳（北京师范大学） 丁一峰（北京大学） 范杰（中国科学院哲学所） 范赟（东南大学） 方成玲（重庆交通大学） 方良达（暨南大学） 方楠（中国科学院软件研究所） 顾凯（内蒙古大学） 郭佳宏（北京师范大学） 黄书棋（福州大学） 琚凤魁（北京师范大学） 康仕慧（山西大学） 李晟（四川师范大学） 李延军（南开大学） 廖备水（浙江大学） 刘佶鑫（四川大学） 刘江（中科院重庆绿色智能技术研究院） 刘路（中南大学） 刘勇（南京晓庄学院） 毛徐新（南京航空航天大学） 彭程（河北工业大学） 彭伟光（西南大学） 彭银河（中国科学院数学与系统科学研究院） 佘志坤（北京航空航天大学） 沈榆平（中山大学） 汪开云（陕西师范大学） 王慎玲（北京师范大学） 王玮（中山大学） 吴慧珊（北京语言大学） 邢滔滔（北京大学） 许涤非（中国人民大学） 杨睿之（复旦大学） 杨森（鞍山师范学院） 姚博凯（北京大学） 尹志（安徽工程大学） 余泉（黔南民族师范学院） 张航（西南交通大学） 张立英（中国科学院哲学所） 张树果（四川大学） 章腾（浙江科技大学） 赵彬（陕西师范大学） 朱慧灵（暨南大学） |