所属研究所、院系:
量子计算与计算机理论研究所

职称:
副教授

E-mail:
qiaohy@mail.sysu.edu.cn

办公地点:
学院楼A306




研究领域:
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.

教授课程:
2020 第二学期: ?离散数学基础 ?| Haskell函数程序设计基础（东校区公选课，求助教）|?Python程序设计基础（东校区公选课? ）?（使用平台： chaoxing.com）
2020 第一学期: ?数据结构与算法（实验） ?| Haskell函数程序设计基础（东校区公选课）
2019?第二学期: ?离散数学基础（正在跟随中国大学MOOC上北大的“离散数学概论”课程：https://www.icourse163.org/course/PKU-） ?| ?数据结构与算法（测绘学院） （将使用文泉课堂：https://xuetang.wqketang.com/course/824） | Python程序设计基础（东校区公选课）（请登录使用elearning.sysu.edu.cn查看课程有关信息，请跟随北理工“Python语言程序设计：https://www.icourse163.org/course/BIT-268001”，没有成功选课的同学也欢迎加入QQ课程群共同学习）

---

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。教材中的在线练习移至： soj.sysu.edu.cn/courses -> 数据结构与算法实验实践教程(ID: 57).
《Haskell函数程序设计基础》(Haskell: The Craft of Functional Programming)，Simon Thompson著，乔海燕，张迎周翻译，科学出版社，2015。
《Haskell函数式程序设计》（Thinking Functionally with Haskell），Richard Bird著，乔海燕翻译，2016。
《算法设计与应用》（Algorithm Design and Applications）, M.T. Goodirch和R. Tamassia著，乔海燕，李悫炜和王烁程翻译，机械工业出版社，2018。
《Python3.6编程实践指南(计算机科学入门)》，保罗·格里斯、詹妮弗·坎贝尔和杰森·蒙特霍著，乔海燕、曾烈康、王烁程和李悫炜译，机械工业出版社，2019。
《软件困局：为什么聪明的程序员会写出糟糕的代码》，亚当·巴尔?著，乔海燕、曾烈康译，机械工业出版社，2020。
《函数程序设计算法》，约翰·大卫·斯通（John David Stone）著，乔海燕 曾烈康译，机械工业出版社，2020。
?