趙希順

趙希順，男，河南省封丘縣人，博士，中山大學教育部重點研究基地邏輯與認知研究所教授、博士生導師。

基本介紹

• 中文名：趙希順
• 出生地：河南省封丘縣
• 畢業院校：南京大學
• 學位/學歷：博士
• 專業方向：數理邏輯及其在計算機科學和人工智慧的套用
• 任職院校：中山大學

人物經歷

教育經歷

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）

主講課程

數理邏輯、可計算性理論、模型論、計算複雜性。

研究方向

趙希順教授的研究方向是數理邏輯及其在計算機科學和人工智慧的套用。

學術成果

發表論著

曾參與翻譯《數學百科全書》，出版著作《選擇公理》，主編會議論文集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項。

學術交流

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程式委員會成員。

獲獎記錄

2005年，入選教育部“新世紀優秀人才”支持計畫。

2006年，著作《選擇公理》榮獲第四屆全國高校人文社科優秀成果二等獎。

2006年，榮獲中山大學文科優秀中青年學者桐山獎。

2008年，獲教育部高校自然科學獎二等獎。