姐的欢喜姐的欢喜姐的欢喜

赵希顺

赵希顺(中山大学哲学系教授) 0 0

赵希顺,男,河南省封丘县人,毕业于南京大学,数学系博士。现任教育部重点研究基地中山大学逻辑与认知研究所教授、博士生导师。赵希顺研究方向为数理逻辑及其在计算机科学和人工智能中的应用。[1]
    中文名:赵希顺 民族: 出生地:河南省封丘县 毕业院校:南京大学 学位/学历:博士 职业:教师 专业方向:数理逻辑及其在计算机科学和人工智能的应用 职务:中山大学哲学系教授 学术代表作: 主要成就:

人物经历

学习经历

1985年毕业于河南师范大学数学系学士学位;

1988年获中国科学院软件研究所硕士学位;

1999年获南京大学数学系博士学位。

工作经历

1988.6-1997.3,河南师范大学数学系工作;

2000.4-2001.3,德国Paderborn大学数学与计算机系工作;

2001.5至今,中山大学逻辑与认知研究所。

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程序委员会成员。

主要成就

科研成就

赵希顺曾参与翻译《数学百科全书》,出版著作《选择公理》,主编会议论文集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项。

人才培养

主讲课程:数理逻辑、可计算性理论、模型论、计算复杂性。

荣誉表彰

2005年,入选教育部“新世纪优秀人才”支持计划。

2006年,著作《选择公理》荣获第四届全国高校人文社科优秀成果二等奖。

2006年,荣获中山大学文科优秀中青年学者桐山奖。

2008年,获教育部高校自然科学奖二等奖。

社会任职

国际杂志“Journal of Satisifability,Boolean Modeling and Computation”编委

曾任SAT Association 的steering committee成员、美国加州州立大学数学系兼职教授。

  • 上一篇百科:卢克西
  • 下一篇百科:卢娜
  • 参考资料

    相关阅读

    声明

    本站上发表的所有内容,均为原作者的观点,不代表姐的欢喜网的立场,也不代表姐的欢喜网的价值判断。百科的词条(含所附图片)系由本站或网友上传,如果涉嫌侵权,请与客服联系,我们将按照法律之相关规定及时进行处理。未经许可,禁止商业网站等复制、抓取本站内容。

    姐的欢喜 » 赵希顺
    免责声明:本文由网友提供互联网分享,经供参考,不代表本网的观点和立场。