苏开乐查看源代码讨论查看历史

苏开乐

来自 名人简历网 的图片

苏开乐，1964年生，男，回族，95年获南京大学博士学位，博士后，教授， 博士生导师。获得知名国际会议AiML 2002最优论文奖。

基本信息

人物说明----南京大学教授， 博士生导师

民 族 ---- 回族

出生日期----1964年

国 籍 ---- 中国

职 业 ---- 教育科研工作者

主要成就----获得知名国际会议AiML 2002最优论文奖

毕业院校----南京大学

人物简历

• 1980-1984，湖南师范大学，本科生。

• 1984-1987，湖南大学，硕士研究生，获学位。

• 1987-1991，湖南师范大学，任助教，讲师。

• 1992-1995，南京大学，博士研究生，方向:数理逻辑及其计算机中的应用。 导师:莫绍揆，丁德成，获博士学位。

• 1995-1996，国防科技大学，博士后，指导教授:陈火旺院士。

• 1996-1999，汕头大学科学院，副教授。

• 1999至今，中山大学副教授、教授、博士生导师。

• 2000.8-2000.11, 澳大利亚Deakin大学数学与计算科学系，访问学者。

• 2000.12-2001.8, 香港城市大学信息系统系，副研究员。

• 2001.8-2002.8, 澳大利亚New South Wales大学计算机科学与工程系，研究员。

研究方向

[1] 多智能体系统的理论与技术

[2] 模型检测技术，形式化方法

[3] 安全协议验证

学术成就

[1] 发表近二十篇一级学报以上刊物论文，其中《中国科学》英文版2篇，《中国社会科学》英文版1篇，权威国际学报4篇。

[2] 负责主持完成国家863计划二项, 国家自然科学基金一项, 和一项高等学校骨干教师资助计划项目。目前主持在研国家自然科学基金一项。

[3] 应邀在第八界亚洲逻辑会议(2002年世界数学家大会卫星会议之一)上做45分钟的特邀报告。

[4] 获得知名国际会议AiML 2002最优论文奖。