乔海燕

所属研究所、院系: 
计算机科学理论研究所
职称: 
副教授
E-mail: 
qiaohy@mail.sysu.edu.cn
办公地点: 
615
研究领域: 

Research interests include type theory and its applications to theorem proving and program verification using the proof assistant Agda/Alfa, security protocol verification, formal methods and formal mathematics.

教授课程: 

2016-2017 第二学期 

离散数学(软件工程)  | Python程序设计基础(东校区公选课)


2016-2017 第一学期

引进课程:编译器构造实践(Compiler Construction Hands On),任课教师 Professor Aarne Ranta .
详见:课程安排课程圆满结束

数据结构与算法 Haskell 函数程序设计(东校区公选课) | 程序设计与数据结构综合实践II (请登录:elearning.sysu.edu.cn)


2015-2016 第三学期

离散数学(软件工程) | 离散数学(移动工程) | Python程序设计基础(东校区公选课)


2015-2016 第二学期

数据结构与算法概率论与数理统计 | Haskell 函数程序设计(东校区公选课) | 程序设计综合实践I

代表性论著: 
  • 《数据结构与算法实验实践教程》, 乔海燕、蒋爱军、高集荣和刘晓铭编著,清华大学出版社出版,2012。教材中的在线练习移至: soj.sysu.edu.cn/courses -> 数据结构与算法实验实践教程(ID: 57).
  • 《Haskell函数程序设计基础》(Haskell: The Craft of Functional Programming),Simon Thompson著,乔海燕,张迎周翻译,科学出版社,2015。
  • 《Haskell函数式程序设计》(Thinking Functional with Haskel),Richard Bird著,乔海燕翻译,机械工业出版社出版,2016。