赵希顺简介
赵希顺，男，中山大学教育部重点研究基地逻辑与认知研究所教授、博士生导师。担任国际杂志Journal of Satisifability, Boolean Modeling and Computation 和 Information Technology Journal的编委、 SAT Association 的steering committee成员（2008-2012）、美国加州州立大学数学系兼职教授（2008-2012） 。2005年入选教育部“新世纪优秀人才”支持计划；其著作《选择公理》荣获第四届全国高校人文社科优秀成果二等奖；2006年荣获中山大学文科优秀中青年学者桐山奖。
赵希顺资料
国籍：中国
性别：男
出生地：河南省封丘县
民族：汉族
中文名：赵希顺
赵希顺人物经历
赵希顺1985年7月毕业于河南师范大学数学系， 1988年获中国科学院软件研究所硕士学位，1999年获南京大学数学系博士学位，2000年4月至2001年3月受聘于德国帕德博恩(Paderborn)大学数学与计算系。1988.6-1997.3, 河南师范大学数学系工作，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”主席之一。
赵希顺主讲课程
数理逻辑、可计算性理论、模型论、计算复杂性。
赵希顺研究方向
赵希顺教授的研究方向是数理逻辑及其在计算机科学和人工智能的应用。近年来主要关注逻辑系统的表达能力与计算复杂性的研究。曾参与翻译《数学百科全书》，出版著作《选择公理》，主编会议论文集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年，获教育部高校自然科学奖二等奖。
