中山大学乔海燕怎么样

乔海燕是中山大学信息科学与技术学院的讲师，拥有丰富的教育背景和研究经验。以下是关于乔海燕的一些信息：

教育背景：

1986年毕业于南开大学数学系，获得硕士学位。

在瑞典Chalmers理工大学计算机系作访问研究一年。

在英国Glasgow大学计算机系学习一年，获得硕士学位。

在瑞典Chalmers理工大学计算机系学习、做研究，获得博士。

工作经历：

曾在山西大学计算机系和太原师院计算机系任教。

自2004年10月开始在中山大学计算机系任教。

教学内容：

《数据结构》

《集合论与图论》

《函数程序设计与程序验证》

《Haskell函数程序设计》

科研兴趣：

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

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

根据上述信息，乔海燕老师在学术领域有着深厚的背景，特别是在函数程序设计和类型论方面。他参与过多个研究项目，并在教学中也涉及到了这些领域。