中山大學(xué)信息科學(xué)與技術(shù)學(xué)院導(dǎo)師：喬海燕 正文

　　姓名：喬海燕　　 性別：男　　職稱：講師　　
　　學(xué)院：信息科學(xué)與技術(shù)學(xué)院  　最后學(xué)歷：博士

　　1986年畢業(yè)于南開大學(xué)數(shù)學(xué)系，獲碩士學(xué)位。1986年參加工作，曾先后在山西大學(xué)計算機系和太原師院計算機系任教。自1996年底開始， 曾在瑞典Chalmers 理工大學(xué)計算機系作訪問研究一年；在英國Glasgow 大學(xué)計算機系學(xué)習(xí)一年，獲碩士；隨后在瑞典Chalmers 理工大學(xué)計算機系學(xué)習(xí)、做研究，獲博士。自2004年10月開始在中山大學(xué)計算機系任教。

教學(xué)：

1 《數(shù)據(jù)結(jié)構(gòu)》
2 《集合論與圖論》
3 《函數(shù)程序設(shè)計與程序驗證》
4 《Haskell函數(shù)程序設(shè)計》
 

科研興趣：

1. 類型論及其在計算機科學(xué)中的應(yīng)用， 特別是將類型論應(yīng)用于形式化數(shù)學(xué)，程序驗證，計算機安全協(xié)議驗證以及自然語言處理等。

2. 函數(shù)程序設(shè)計，函數(shù)程序的測試與證明。

中山大學(xué)

添加中山大學(xué)學(xué)姐微信，或微信搜索公眾號“考研派小站”，關(guān)注[考研派小站]微信公眾號，在考研派小站微信號輸入[中山大學(xué)考研分數(shù)線、中山大學(xué)報錄比、中山大學(xué)考研群、中山大學(xué)學(xué)姐微信、中山大學(xué)考研真題、中山大學(xué)專業(yè)目錄、中山大學(xué)排名、中山大學(xué)保研、中山大學(xué)公眾號、中山大學(xué)研究生招生）]即可在手機上查看相對應(yīng)中山大學(xué)考研信息或資源。