人物经历

学习经历

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

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

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

工作经历

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

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

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

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程序委员会成员。

主要成就

科研成就

赵希顺曾参与翻译《数学百科全书》，出版著作《选择公理》，主编会议论文集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余篇。

承担项目

国家社科基金重大项目1项；国家自然科学基金面上项目3项；国家自然科学基金国际合作项目7项；国家社科基金1项；教育部基地重大项目2项；中德科学合作项目1项。

人才培养

主讲课程：数理逻辑、可计算性理论、模型论、计算复杂性。

荣誉表彰

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

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

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

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

社会任职

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

曾任SAT Association 的steering committee成员、美国加州州立大学数学系兼职教授。