蘇開樂

1964年生,男,回族,95年獲南京大學博士學位,博士後,教授, 博士生導師。

人物簡歷,研究方向,學術成就,

人物簡歷

* 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最優論文獎。

相關詞條

熱門詞條

聯絡我們