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

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

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

教學(xué)：

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

科研興趣：

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

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

中山大學(xué)

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