蘇開樂
中山大學教授
1980-1984,湖南師範大學,本科生。
1984-1987,湖南大學,碩士研究生,獲學位。
1987-1991,湖南師範大學,任助教,講師。
1996-1999,汕頭大學科學院,副教授。
1999至今,中山大學副教授、教授、博士生導師。
2000.8-2000.11, 澳大利亞Deakin大學數學與計算科學系,訪問學者。
2000.12-2001.8, 香港城市大學信息系統系,副研究員。
2001.8-2002.8, 澳大利亞New South Wales大學計算機科學與工程系,研究員。
多智能體系統的理論與技術;
模型檢測技術,形式化方法;
安全協議驗證。
負責主持完成國家863計劃二項, 國家自然科學基金一項, 和一項高等學校骨幹教師資助計劃項目。目前主持在研國家自然科學基金一項。
應邀在第八界亞洲邏輯會議(2002年世界數學家大會衛星會議之一)上做45分鐘的特邀報告。
獲得知名國際會議AiML 2002最優論文獎。