蘇開樂

中山大學教授

蘇開樂,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篇。
負責主持完成國家863計劃二項, 國家自然科學基金一項, 和一項高等學校骨幹教師資助計劃項目。目前主持在研國家自然科學基金一項。
應邀在第八界亞洲邏輯會議(2002年世界數學家大會衛星會議之一)上做45分鐘的特邀報告。
獲得知名國際會議AiML 2002最優論文獎。