中山大學信息科學與技術學院導師：喬海燕 正文

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

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

教學：

1 《數據結構》
2 《集合論與圖論》
3 《函數程序設計與程序驗證》
4 《Haskell函數程序設計》
 

科研興趣：

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

2. 函數程序設計，函數程序的測試與證明。

中山大學

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