中山大学信息科学与技术学院导师介绍：乔海燕

中山大学信息科学与技术学院导师介绍：乔海燕的内容如下，更多考研资讯请关注我们考研派网站的更新！敬请收藏本站。或下载我们的考研派APP和考研派微信公众号（里面有非常多的免费考研资源可以领取哦）[中山大学公共卫生学院导师介绍：唐小江] [中山大学公共卫生学院导师介绍：肖勇梅] [中山大学公共卫生学院导师介绍：王庆] [中山大学公共卫生学院导师介绍：杨杏芬] [中山大学公共卫生学院导师介绍：杨燕] [中山大学公共卫生学院导师介绍：冯翔]

中山大学学姐微信
为你答疑,送资源

95%的同学还阅读了： [2022中山大学研究生招生目录] [中山大学研究生分数线[2013-2021]] [中山大学王牌专业排名] [中山大学考研难吗] [中山大学研究生院] [中山大学考研群] [中山大学研究生学费] 中山大学保研夏令营 中山大学考研调剂2022最新信息 [中山大学研究生辅导] [考研国家线[2006-2021]] [2022年考研时间：报名日期和考试时间]

中山大学信息科学与技术学院导师介绍：乔海燕正文

　　姓名：乔海燕　　 性别：男　　职称：讲师　　
　　学院：信息科学与技术学院  　最后学历：博士

　　1986年毕业于南开大学数学系，获硕士学位。1986年参加工作，曾先后在山西大学计算机系和太原师院计算机系任教。自1996年底开始， 曾在瑞典Chalmers 理工大学计算机系作访问研究一年；在英国Glasgow 大学计算机系学习一年，获硕士；随后在瑞典Chalmers 理工大学计算机系学习、做研究，获博士。自2004年10月开始在中山大学计算机系任教。

教学：

1 《数据结构》
2 《集合论与图论》
3 《函数程序设计与程序验证》
4 《Haskell函数程序设计》
 

科研兴趣：

1. 类型论及其在计算机科学中的应用， 特别是将类型论应用于形式化数学，程序验证，计算机安全协议验证以及自然语言处理等。

2. 函数程序设计，函数程序的测试与证明。

添加中山大学学姐微信，或微信搜索公众号“考研派之家”，关注【考研派之家】微信公众号，在考研派之家微信号输入【中山大学考研分数线、中山大学报录比、中山大学考研群、中山大学学姐微信、中山大学考研真题、中山大学专业目录、中山大学排名、中山大学保研、中山大学公众号、中山大学研究生招生）】即可在手机上查看相对应中山大学考研信息或资源。