苏开乐

苏开乐(1964年生),男,回族,博士后,南京大学博士学位获得者。现任中山大学教授、博士生导师。

人物经历

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大学计算机科学与工程系,研究员。

研究方向

多智能体系统的理论与技术;

模型检测技术,形式化方法;

安全协议验证。

学术成就

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

负责主持完成国家国家高技术研究发展计划二项, 国家自然科学基金一项, 和一项高等学校骨干教师资助计划项目。目前主持在研国家自然科学基金一项。

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

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

参考资料

友情链接