蘇開樂檢視原始碼討論檢視歷史
蘇開樂 |
蘇開樂,1964年生,男,回族,95年獲南京大學博士學位,博士後,教授, 博士生導師[1]。獲得知名國際會議AiML 2002最優論文獎[2]。
基本信息
人物說明----南京大學教授, 博士生導師
民 族 ---- 回族
出生日期----1964年
國 籍 ---- 中國
職 業 ---- 教育科研工作者
主要成就----獲得知名國際會議AiML 2002最優論文獎
畢業院校----南京大學
人物簡歷
- 1980-1984,湖南師範大學,本科生。
- 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最優論文獎。