喬海燕(中山大學數據科學與計算機學院副教授)

喬海燕，男，中山大學數據科學與計算機學院副教授。

基本介紹

• 中文名：喬海燕
• 國籍：中國
• 任職院校：中山大學
• 職稱：副教授

研究領域

Research interestsinclude type theory and itsapplications to theorem proving andprogram verification using the proof assistantAgda/Alfa, security protocol verification, formal methods and formal mathematics.

教授課程

（正在招聘碩士生助教）

2019 第一學期: 數據結構與算法（實驗）|Haskell函式程式設計基礎（東校區公選課）

2018-2019第二學期: 離散數學（軟體工程）|Python程式設計基礎（東校區公選課）（請登錄使用elearning.sysu.edu.cn查看課程有關信息）

2018-2019 第一學期: 數據結構與算法（實驗）|程式設計與數據結構綜合實踐II |Haskell函式程式設計基礎（東校區公選課）

2017-2018第二學期: 離散數學|Python程式設計基礎（東校區公選課）

2017-2018 第一學期: 數據結構與算法（實驗）|程式設計與數據結構綜合實踐I |Haskell函式程式設計簡介（東校區公選課）

2016-2017第二學期: 離散數學（軟體工程）|Python程式設計基礎（東校區公選課）

2016-2017 第一學期: 引進課程：編譯器構造實踐（Compiler Construction Hands On），任課教師Professor Aarne Ranta.
詳見：課程安排。課程圓滿結束。

數據結構與算法|Haskell 函式程式設計（東校區公選課）| 程式設計與數據結構綜合實踐II (請登錄：elearning.sysu.edu.cn)

2015-2016 第三學期: 離散數學（軟體工程）|離散數學（移動工程）

代表論著

• 《數據結構與算法實驗實踐教程》, 喬海燕、蔣愛軍、高集榮和劉曉銘編著，清華大學出版社出版，2012。
  
• 《Haskell函式程式設計基礎》(Haskell: The Craft of Functional Programming)，Simon Thompson著，喬海燕，張迎周翻譯，科學出版社，2015。
  
• 《Haskell函式式程式設計》（Thinking Functional with Haskell），Richard Bird著，喬海燕翻譯，2016。
  
• 《算法設計與套用》（Algorithm Design and Applications）, M.T. Goodirch和R. Tamassia著，喬海燕，李愨煒和王爍程翻譯，機械工業出版社，2018。
  
• 《Python3.6編程實踐指南(計算機科學入門)》，保羅·格里斯、詹妮弗·坎貝爾和傑森·蒙特霍著，喬海燕、曾烈康、王爍程和李愨煒譯，機械工業出版社，2019。