请输入您要查询的百科知识:

 

词条 赵希顺
释义

赵希顺,男,中山大学教育部重点研究基地逻辑与认知研究所教授、博士生导师。担任国际杂志Journal of Satisifability, Boolean Modeling and Computation 和 Information Technology Journal的编委。2005年入选教育部“新世纪优秀人才”支持计划;其著作《选择公理》荣获第四届全国高校人文社科优秀成果二等奖;2006年荣获中山大学文科优秀中青年学者桐山奖。

赵希顺1985年7月毕业于河南师范大学数学系, 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”主席之一。

赵希顺教授的研究方向是数理逻辑及其在计算机科学和人工智能的应用。近年来主要关注逻辑系统的表达能力与计算复杂性的研究。曾参与翻译《数学百科全书》,出版著作《选择公理》。 近年来在国际著名杂志Journal of Automated Reasoning, Annals of Mathematics and Artificial Intelligence,Discrete Applied Mathematics, AI Communications, Fundamenta Informaticae, Information Processing Letters以及国际学术会议 AAAI 2004, SAT 2002-2006, CCA2007上发表论文20余篇。赵希顺主持的项目有国家自然科学基金项目、国家社科基金项目、教育部人文社科基地重大项目、教育部博士点基金项目等。

随便看

 

百科全书收录4421916条中文百科知识,基本涵盖了大多数领域的百科知识,是一部内容开放、自由的电子版百科全书。

 

Copyright © 2004-2023 Cnenc.net All Rights Reserved
更新时间:2025/3/1 22:24:22