赵希顺,男,1964年10月出生,教育部重点研究基地中山大学逻辑与认知研究所教授、博士生导师。美国加州州立大学数学系兼职教授;国际杂志“JournalofSatisifability,BooleanModelingandComputation”编委;国际SAT年会和SAT协会(SATAssociation)指导委员会(steeringcommittee)成员。2005年入选教育部“新世纪优秀人才”支持计划;其著作《选择公理》荣获第四届全国高校人文社科优秀成果二等奖;2006年荣获中山大学文科优秀中青年学者桐山奖;2008年获教育部高校自然科学奖二等奖。
1985年毕业于河南师范大学数学系,1988年获中国科学院软件研究所硕士学位,1999年获南京大学数学系博士学位,2000年4月至2001年3月受聘于德国帕德博恩(Paderborn)大学数学与计算系。2001年加入中山大学教育部重点研究基地逻辑与认知研究所。2002年以来,先后多次应邀到德国Paderborn大学、德国Hagen大学、德国Trier大学、香港科技大学作客座教授或进行合作研究。2005年8月应邀在俄罗斯新西伯利亚举办的第九届亚洲逻辑大会上作特邀报告。2008年5月在国际会议“Computability,ComplexityandRandomnesss”作特邀报告。国际学术会议“The11thInternationalConferenceonTheoryandApplicationsofSatisfiabilityTesting”(SAT08)主席之一。国际会议SAT09和SAT10程序委员会成员。
研究方向是数理逻辑及其在计算机科学和人工智能的应用。近年来主要关注逻辑系统的表达能力与计算复杂性的研究。曾参与翻译《数学百科全书》,出版著作《选择公理》,主编会议论文集LectureNotesinComputerScicence第4996卷。近年来在国际著名杂志TheoreticalComputerScience,JournalofAutomatedReasoning,AnnalsofMathematicsandArtificialIntelligence,DiscreteAppliedMathematics,AICommunications,FundamentaInformaticae,InformationProcessingLetters以及国际学术会议AAAI04,SAT02-06,SAT09,CCA07-08上发表论文40余篇。