赵希顺的研究方向

赵希顺教授的研究方向是数理逻辑及其在计算机科学和人工智能的应用。近年来主要关注逻辑系统的表达能力与计算复杂性的研究。曾参与翻译《数学百科全书》，出版著作《选择公理》。 近年来在国际著名杂志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余篇。赵希顺主持的项目有国家自然科学基金项目、国家社科基金项目、教育部人文社科基地重大项目、教育部博士点基金项目等。