乔海燕

所属研究所、院系: 
计算机科学理论研究所
职称: 
副教授
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.

代表性论著: 
  • 《数据结构与算法实验实践教程》, 乔海燕、蒋爱军、高集荣和刘晓铭编著,清华大学出版社出版,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。