人物簡介
趙希順，男，中山大學教育部重點研究基地邏輯與認知研究所教授、博士生導師。擔任國際雜誌Journal of Satisifability, Boolean Modeling and Computation 和 Information Technology Journal的編委。2005年入選教育部“新世紀優秀人才”支持計畫；其著作《選擇公理》榮獲第四屆全國高校人文社科優秀成果二等獎；2006年榮獲中山大學文科優秀中青年學者桐山獎。
趙希順1985年7月畢業於河南師範大學數學系， 1988年獲中國科學院軟體研究所碩士學位，1999年獲南京大學數學系博士學位，2000年4月至2001年3月受聘於德國帕德博恩(Paderborn)大學數學與計算系。2001年加入中山大學教育部重點研究基地邏輯與認知研究所。2002年以來，趙希順先後多次應邀到德國Paderborn大學、德國Hagen大學、德國Trier大學、香港科技大學作客座教授或進行合作研究。2005年8月應邀在俄羅斯新西伯利亞舉辦的第九屆亞洲邏輯大會上作特邀報告。2008年5月在國際會議“Computability, Complexity and Randomnesss”作特邀報告。國際學術會議“The 11th International Conference on Theory and Applications of Satisfiability Testing”主席之一。
主要成就
趙希順教授的研究方向是數理邏輯及其在計算機科學和人工智慧的套用。近年來主要關注邏輯系統的表達能力與計算複雜性的研究。曾參與翻譯《數學百科全書》，出版著作《選擇公理》。 近年來在國際著名雜誌Journal of Automated Reasoning, Annals of Mathematics and Artificial Intelligence，Discrete Applied Mathematics, AI Communications, Fundamenta Informaticae, Information Processing Letters以及國際學術會議 AAAI 2004, SAT 2002-2006， CCA2007上發表論文20餘篇。趙希順主持的項目有國家自然科學基金項目、國家社科基金項目、教育部人文社科基地重大項目、教育部博士點基金項目等。
