赵希顺教授的学术报告

发布时间:2016年03月07日 作者:   消息来源:    阅读次数:[]

题目:Some topics related to propositional logic  

报告人:赵希顺教授 (中山大学) 

时间:2016年03月11日下午15:00—16:00 

地点:数理楼小学术报告厅  

赵希顺教授为教育部重点研究基地中山大学逻辑与认知研究所教授、博士生导师.美国加州州立大学数学系兼职教授;国际杂志“Journal of Satisifability, Boolean Modeling and Computation”编委;国际SAT年会和SAT协会(SAT Association)指导委员会(steering committee) 成员. 2005年入选教育部“新世纪优秀人才”支持计划;其著作《选择公理》荣获第四届全国高校人文社科优秀成果二等奖;2006年荣获中山大学文科优秀中青年学者桐山奖;2008年获教育部高校自然科学奖二等奖.  

1985年毕业于河南师范大学数学系, 1988年获中国科学院软件研究所硕士学位,1999年获南京大学数学系博士学位,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”(SAT08)主席之一。国际会议SAT09和SAT10程序委员会成员.  

研究方向是数理逻辑及其在计算机科学和人工智能的应用. 近年来主要关注逻辑系统的表达能力与计算复杂性的研究。曾参与翻译《数学百科全书》,出版著作《选择公理》,主编会议论文集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以及国际学术会议 AAAI04, SAT02-06,SAT09, CCA07-08上发表论文40余篇. 



打印】【收藏】 【关闭