人物簡歷
* 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最優論文獎。
