赵希顺（中山大学哲学系教授） 0 0
赵希顺，男，河南省封丘县人，毕业于南京大学，数学系博士。现任教育部重点研究基地中山大学逻辑与认知研究所教授、博士生导师。赵希顺研究方向为数理逻辑及其在计算机科学和人工智能中的应用。[1]-
中文名:赵希顺 民族: 出生地:河南省封丘县 毕业院校:南京大学 学位/学历:博士 职业:教师 专业方向:数理逻辑及其在计算机科学和人工智能的应用 职务:中山大学哲学系教授 学术代表作: 主要成就:
人物经历
学习经历
1985年毕业于河南师范大学数学系学士学位；
1988年获中国科学院软件研究所硕士学位；
1999年获南京大学数学系博士学位。
工作经历
1988.6-1997.3，河南师范大学数学系工作；
2000.4-2001.3，德国Paderborn大学数学与计算机系工作；
2001.5至今，中山大学逻辑与认知研究所。
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程序委员会成员。
主要成就
科研成就
赵希顺曾参与翻译《数学百科全书》，出版著作《选择公理》，主编会议论文集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项。
人才培养
主讲课程：数理逻辑、可计算性理论、模型论、计算复杂性。
荣誉表彰
2005年，入选教育部“新世纪优秀人才”支持计划。
2006年，著作《选择公理》荣获第四届全国高校人文社科优秀成果二等奖。
2006年，荣获中山大学文科优秀中青年学者桐山奖。
2008年，获教育部高校自然科学奖二等奖。
社会任职
国际杂志“Journal of Satisifability，Boolean Modeling and Computation”编委
曾任SAT Association 的steering committee成员、美国加州州立大学数学系兼职教授。
参考资料
相关阅读
声明
本站上发表的所有内容，均为原作者的观点，不代表姐的欢喜网的立场，也不代表姐的欢喜网的价值判断。百科的词条（含所附图片）系由本站或网友上传，如果涉嫌侵权，请与客服联系，我们将按照法律之相关规定及时进行处理。未经许可，禁止商业网站等复制、抓取本站内容。
人物：何小鹏简介
人物：孟晚舟简介
王亚平