趙希順，男，中山大學(xué)教育部重點研究基地邏輯與認(rèn)知研究所教授、博士生導(dǎo)師。擔(dān)任國際雜志Journal of Satisifability, Boolean Modeling and Computation 和 Information Technology Journal的編委、 SAT Association 的steering committee成員（2008-2012）、加利福尼亞州立大學(xué)數(shù)學(xué)系兼職教授（2008-2012） 。2005年入選教育部“新世紀(jì)優(yōu)秀人才”支持計劃；其著作《選擇公理》榮獲第四屆全國高校人文社科優(yōu)秀成果二等獎；2006年榮獲中山大學(xué)文科優(yōu)秀中青年學(xué)者桐山獎。
人物經(jīng)歷
趙希順1985年7月畢業(yè)于河南師范大學(xué)數(shù)學(xué)與信息科學(xué)學(xué)院， 1988年獲中國科學(xué)院軟件研究所碩士學(xué)位，1999年獲南京大學(xué)數(shù)學(xué)系博士學(xué)位，2000年4月至2001年3月受聘于德國帕德伯恩(Paderborn)大學(xué)數(shù)學(xué)與計算系。1988.6-1997.3, 河南師范大學(xué)數(shù)學(xué)系工作，2000.4-2001.3, 德國Paderborn大學(xué)數(shù)學(xué)與計算機(jī)系工作，2001年加入中山大學(xué)教育部重點研究基地邏輯與認(rèn)知研究所。2002年以來，趙希順先后多次應(yīng)邀到德國Paderborn大學(xué)、德國Hagen大學(xué)、德國Trier大學(xué)、香港科技大學(xué)作客座教授或進(jìn)行合作研究。2005年8月應(yīng)邀在俄羅斯新西伯利亞州舉辦的第九屆亞洲邏輯大會上作特邀報告。2008年5月在國際會議“Computability, Complexity and Randomnesss”作特邀報告。國際學(xué)術(shù)會議“The 11th International Conference on Theory and Applications of Satisfiability Testing”主席之一。
主講課程
數(shù)理邏輯、可計算性理論、模型論、計算復(fù)雜性。
研究方向
趙希順教授的研究方向是數(shù)理邏輯及其在計算機(jī)科學(xué)和人工智能的應(yīng)用。近年來主要關(guān)注邏輯系統(tǒng)的表達(dá)能力與計算復(fù)雜性的研究。曾參與翻譯《數(shù)學(xué)百科全書》，出版著作《選擇公理》，主編會議論文集Lecture Notes in Computer Scicence 第4996卷。近年來在國際著名雜志Theoretical Computer Science, Journal of Automated Reasoning, Annals of 數(shù)學(xué) and Artificial Intelligence，Discrete Applied Mathematics, AI Communications, Fundamenta Informaticae, Information Processing Letters, Minds and Machine 以及國際學(xué)術(shù)會議 AAAI2004, SAT2002--2006, SAT2009--2011, CCA2007--2008，KR2014上發(fā)表論文50余篇。趙希順主持的項目有國家自然科學(xué)基金項目、國家社科基金項目、教育部人文社科基地重大項目、教育部博士點基金項目等。
主要貢獻(xiàn)
承擔(dān)項目
國家社科基金重大項目1項；國家自然科學(xué)基金面上項目3項；國家自然科學(xué)基金國際合作項目7項；國家社科基金1項；教育部基地重大項目2項；中德科學(xué)合作項目1項。
學(xué)術(shù)交流
1999.1-1999.3, 德國Paderborn大學(xué)數(shù)學(xué)與計算機(jī)系合作研究。
2002.9.1-9.31, 德國Paderborn大學(xué)數(shù)學(xué)與計算機(jī)系客座教授。
2003.9-2003.11, 香港科技大學(xué)計算機(jī)系合作研究。
2004.7-2004.8, 德國Paderborn大學(xué)數(shù)學(xué)與計算機(jī)系客座教授。
2005年8月應(yīng)邀在俄羅斯新西伯利亞州舉辦的第九屆亞洲邏輯大會上作特邀報告。
2005.10-2005.11, 德國Paderborn大學(xué)數(shù)學(xué)與計算機(jī)系客座教授。
2005.12-2006.2, 德國Hagen大學(xué)理論計算機(jī)系合作研究。
2007.8-2007.10, 德國Trier大學(xué)計算系合作研究。
2008年5月在國際會議CCR008作特邀報告。
2008年5月國際學(xué)術(shù)會議SAT 2008主席。
2008.11.1-2008.11.30, 德國Paderborn大學(xué)數(shù)學(xué)與計算機(jī)系客座教授。
2009.11.1-2008.12.10, 德國Trier大學(xué)計算機(jī)系合作研究。
2010.7.1-7.31，德國Paderborn大學(xué)計算機(jī)系。
2011.7.1-8.31, 德國Trier大學(xué)計算機(jī)系合作研究。
2012.11.1-30, 德國Paderborn大學(xué)計算機(jī)系客座教授。
國際會議SAT2008--SAT12, SAT2014程序委員會成員。
獲獎記錄
2005年，入選教育部“新世紀(jì)優(yōu)秀人才”支持計劃。
2006年，著作《選擇公理》榮獲第四屆全國高校人文社科優(yōu)秀成果二等獎。
2006年，榮獲中山大學(xué)文科優(yōu)秀中青年學(xué)者桐山獎。
2008年，獲教育部高校自然科學(xué)獎二等獎。
參考資料 >