研招网 > 广东研招网 > 导师介绍

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


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

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

教学:

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

科研兴趣:

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

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

考研帮最新资讯更多

考研帮地方站

你可能会关心:

查看目标大学的更多信息

分数线、报录比、招生简章
一个都不能错过

× 关闭