姓名：乔海燕 性别：男职称：讲师
学院：信息科学与技术学院 最后学历：博士
1986年毕业于南开大学数学系，获硕士学位。1986年参加工作，曾先后在山西大学计算机系和太原师院计算机系任教。自1996年底开始， 曾在瑞典Chalmers 理工大学计算机系作访问研究一年；在英国Glasgow 大学计算机系学习一年，获硕士；随后在瑞典Chalmers 理工大学计算机系学习、做研究，获博士。自2004年10月开始在中山大学计算机系任教。
教学：
1 《数据结构》
2 《集合论与图论》
3 《函数程序设计与程序验证》
4 《Haskell函数程序设计》
科研兴趣：
1. 类型论及其在计算机科学中的应用， 特别是将类型论应用于形式化数学，程序验证，计算机安全协议验证以及自然语言处理等。
2. 函数程序设计，函数程序的测试与证明。
免责声明
本文章来源为院校研究生官网，如对稿件内容有疑问，请与院校招生办联系。学分高考转载出于非商业性的教育和科研之目的，不代表赞同其观点或证实其内容的真实性。如转载稿涉及版权等问题，请来函136311265@qq.com联系修改或删除。
温馨提示：
