你现在的位置: 首页 > 师资队伍 > 专职教师(按姓名) > 赵希顺

赵希顺


                    

名:赵希顺

籍贯:河南省封丘县
获得学位:

  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.
办公电话:020-84114036

承担课程
数理逻辑、可计算性理论、模型论、计算复杂性
发表论著

曾参与翻译《数学百科全书》,出版著作《选择公理》,主编会议论文集Lecture Notes in Computer Scicence 4996卷。近年来在国际著名杂志Theoretical Computer Science, Journal of Automated Reasoning, Annals of Mathematics and Artificial IntelligenceDiscrete Applied Mathematics, AI Communications, Fundamenta Informaticae, Information Processing Letters, Minds and Machine 以及国际学术会议 AAAI2004, SAT2002--2006, SAT2009--2011, CCA2007--2008KR2014上发表论文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大学数学与计算机系客座教授

20058月应邀在俄罗斯新西伯利亚举办的第九届亚洲逻辑大会上作特邀报告

2005.10-2005.11, 德国Paderborn大学数学与计算机系客座教授

2005.12-2006.2,  德国Hagen大学理论计算机系合作研究

2007.8-2007.10, 德国Trier大学计算系合作研究

20085月在国际会议CCR008作特邀报告

20085月国际学术会议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程序委员会成员