赵希顺

                    

姓名：赵希顺

籍贯：河南省封丘县
出生：1964.10.14
获得学位：

  1985年毕业于河南师范大学数学系学士学位

  1988年获中国科学院软件研究所硕士学位

  1999年获南京大学数学系博士学位

工作经历： 

        1988.6-1997.3, 河南师范大学数学系工作

        2000.4-2001.3, 德国Paderborn大学数学与计算机系工作

        2001.5至今       中山大学逻辑与认知研究所

任职：

       教育部重点研究基地中山大学逻辑与认知研究所教授、博士生导师

       国际杂志“Journal of Satisifability, Boolean Modeling and Computation”编委

       SAT Association 的steering committee成员（2008-2012）

美国加州州立大学数学系兼职教授（2008-2012）

研究方向：数理逻辑及其在计算机科学和人工智能中的应用

获奖情况：

        2005年，入选教育部“新世纪优秀人才”支持计划

        2006年，著作《选择公理》荣获第四届全国高校人文社科优秀成果二等奖

        2006年，荣获中山大学文科优秀中青年学者桐山奖

       2008年，获教育部高校自然科学奖二等奖

曾参与翻译《数学百科全书》，出版著作《选择公理》，主编会议论文集Lecture Notes in Computer Scicence 第4996卷。近年来在国际著名杂志Theoretical Computer Science, Journal of Automated Reasoning, Annals of Mathematics and Artificial Intelligence，Discrete Applied Mathematics, AI Communications, Fundamenta Informaticae, Information Processing Letters, Minds and Machine以及国际学术会议 AAAI2004, SAT2002--2006, SAT2009--2011, CCA2007--2008，KR2014上发表论文50余篇。 

1999.1-1999.3, 德国Paderborn大学数学与计算机系合作研究

2002.9.1-9.31, 德国Paderborn大学数学与计算机系客座教授

2003.9-2003.11, 香港科技大学计算机系合作研究

2004.7-2004.8, 德国Paderborn大学数学与计算机系客座教授

2005年8月应邀在俄罗斯新西伯利亚举办的第九届亚洲逻辑大会上作特邀报告

2005.10-2005.11, 德国Paderborn大学数学与计算机系客座教授

2005.12-2006.2,  德国Hagen大学理论计算机系合作研究

2007.8-2007.10, 德国Trier大学计算系合作研究

2008年5月在国际会议CCR008作特邀报告

2008年5月国际学术会议SAT 2008主席

2008.11.1-2008.11.30, 德国Paderborn大学数学与计算机系客座教授

2009.11.1-2008.12.10, 德国Trier大学计算机系合作研究

2010.7.1-7.31，德国Paderborn大学计算机系

2011.7.1-8.31, 德国Trier大学计算机系合作研究

2012.11.1-30, 德国Paderborn大学计算机系客座教授

国际会议SAT2008--SAT12, SAT2014程序委员会成员