学分高考 考试问答 > 导师介绍

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

发布时间: 2023-03-15 17:35:04


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

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

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

科研兴趣:

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

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

研究生报考咨询1V1指导(点击咨询)

免责声明

本文章来源为院校研究生官网,如对稿件内容有疑问,请与院校招生办联系。学分高考转载出于非商业性的教育和科研之目的,不代表赞同其观点或证实其内容的真实性。如转载稿涉及版权等问题,请来函136311265@qq.com联系修改或删除。

温馨提示:
本文【中山大学信息科学与技术学院导师介绍:乔海燕】由作者教培参考提供。该文观点仅代表作者本人,学分高考系信息发布平台,仅提供信息存储空间服务,若存在侵权问题,请及时联系管理员或作者进行删除。
我们采用的作品包括内容和图片部分来源于网络用户投稿,我们不确定投稿用户享有完全著作权,根据《信息网络传播权保护条例》,如果侵犯了您的权利,请联系我站将及时删除。
内容侵权、违法和不良信息举报
Copyright @ 2024 学分高考 All Rights Reserved 版权所有. 湘ICP备17021685号