人物經曆

學習經曆

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成員、美國加州州立大學數學系兼職教授。