赵希顺




姓名：赵希顺
籍贯：河南省封丘县
获得学位：
??1985年毕业于河南师范大学数学系学士学位
??1988年获中国科学院软件研究所硕士学位
??1999年获南京大学数学系博士学位
工作经历：?
????????1988.6-1997.3, 河南师范大学数学系工作
????????2000.4-2001.3, 德国Paderborn大学数学与计算机系工作
????????2001.5至今???????中山大学逻辑与认知研究所
任职：
???????教育部重点研究基地中山大学逻辑与认知研究所教授、博士生导师
???????国际杂志“Journal of Satisifability, Boolean Modeling and Computation”编委
???????SAT Association 的steering committee成员（2008-2012）
美国加州州立大学数学系兼职教授（2008-2012）
研究方向：数理逻辑及其在计算机科学和人工智能中的应用
获奖情况：
????????2005年，入选教育部“新世纪优秀人才”支持计划
????????2006年，著作《选择公理》荣获第四届全国高校人文社科优秀成果二等奖
????????2006年，荣获中山大学文科优秀中青年****桐山奖
???????2008年，获教育部高校自然科学奖二等奖
邮箱：hsszxs(at)mail.sysu.edu.cn
办公电话：
承担课程
数理逻辑、可计算性理论、模型论、计算复杂性
发表论著
曾参与翻译《数学百科全书》，出版著作《选择公理》，主编会议论文集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程序委员会成员