基本內(nèi)容
蘇開樂(lè) 1964年生,男,回族,95年獲南京大學(xué)博士學(xué)位,博士后,教授, 博士生導(dǎo)師。
簡(jiǎn)歷:
* 1980-1984,湖南師范大學(xué),本科生。
* 1984-1987,湖南大學(xué),碩士研究生,獲學(xué)位。
* 1987-1991,湖南師范大學(xué),任助教,講師。
* 1992-1995,南京大學(xué),博士研究生,方向:數(shù)理邏輯及其計(jì)算機(jī)中的應(yīng)用。 導(dǎo)師:莫紹揆,丁德成,獲博士學(xué)位。
* 1995-1996,國(guó)防科技大學(xué),博士后,指導(dǎo)教授:陳火旺院士。
* 1996-1999,汕頭大學(xué)科學(xué)院,副教授。
* 1999至今,中山大學(xué)副教授、教授、博士生導(dǎo)師。
* 2000.8-2000.11, 澳大利亞Deakin大學(xué)數(shù)學(xué)與計(jì)算科學(xué)系,訪問(wèn)學(xué)者。
* 2000.12-2001.8, 香港城市大學(xué)信息系統(tǒng)系,副研究員。
* 2001.8-2002.8, 澳大利亞New South Wales大學(xué)計(jì)算機(jī)科學(xué)與工程系,研究員。
目前主要研究方向:
[1] 多智能體系統(tǒng)的理論與技術(shù)
[2] 模型檢測(cè)技術(shù),形式化方法
[3] 安全協(xié)議驗(yàn)證
學(xué)術(shù)成就:
[1] 發(fā)表近二十篇一級(jí)學(xué)報(bào)以上刊物論文,其中《中國(guó)科學(xué)》英文版2篇,《中國(guó)社會(huì)科學(xué)》英文版1篇,權(quán)威國(guó)際學(xué)報(bào)4篇。
[2] 負(fù)責(zé)主持完成國(guó)家863計(jì)劃二項(xiàng), 國(guó)家自然科學(xué)基金一項(xiàng), 和一項(xiàng)高等學(xué)校骨干教師資助計(jì)劃項(xiàng)目。目前主持在研國(guó)家自然科學(xué)基金一項(xiàng)。
[3] 應(yīng)邀在第八界亞洲邏輯會(huì)議(2002年世界數(shù)學(xué)家大會(huì)衛(wèi)星會(huì)議之一)上做45分鐘的特邀報(bào)告。
[4] 獲得知名國(guó)際會(huì)議AiML 2002最優(yōu)論文獎(jiǎng)。
開放分類: 人物,教師,個(gè)人,學(xué)者,科學(xué)領(lǐng)域