主页：http://sist.sysu.edu.cn/~qiaohy/
教学：
1《数据结构》- 2《集合论与图论》
3《函数程序设计与程序验证》 - 4《Haskell函数程序设计》
科研兴趣：
1.类型论及其在计算机科学中的应用，特别是将类型论应用于形式化数学，程序验
证，计算机安全协议验证以及自然语言处理等。
2.函数程序设计，函数程序的测试与证明。
删除或更新信息，请邮件至freekaoyan#163.com(#换成@)
中山大学信息科学与技术学院研究生导师介绍乔海燕
中山大学 免费考研网/2012-10-21
相关话题/信息科学 导师
领限时大额优惠券,享本站正版考研考试资料!
优惠券领取后72小时内有效，10万种最新考研考试考证类电子打印资料任你选。涵盖全国500余所院校考研专业课、200多种职业资格考试、1100多种经典教材，产品类型包含电子书、题库、全套资料以及视频，无论您是考研复习、考证刷题，还是考前冲刺等，不同类型的产品可满足您学习上的不同需求。 ...考试优惠券 本站小编 Free壹佰分学习网 2022-09-19中山大学信息科学与技术学院研究生导师介绍林瑛
林瑛基本情况性别：女暂无图片研究方向：办公电话：电子邮件：issly@mail.sysu.edu.cn个人主页：http://sist.sysu.edu.cn/~issly详细介绍林瑛issly@mail.sysu.edu.cn ...研究生导师 中山大学 免费考研网 2012-10-21中山大学信息科学与技术学院研究生导师介绍林瀚
林瀚基本情况性别：男暂无图片研究方向：理论计算机科学与人工智能办公电话：电子邮件：linhan095@gmail.com个人主页：http://www.cs.sysu.edu.cn/~lh详细介绍联系方式：linhan095@gmail.com教育背景：本科阶段1999.9-2003.7中山大学信息科学与技术学院计算机科学系计算机科学与技术专业，获理学学士学位硕士阶段（推荐免试）2003.9-20 ...研究生导师 中山大学 免费考研网 2012-10-21中山大学信息科学与技术学院研究生导师介绍衣杨
衣杨基本情况性别：女暂无图片研究方向：办公电话：15918542577电子邮件：issyy@mail.sysu.edu.cn个人主页：http://sist.sysu.edu.cn/~issyy详细介绍博士，副教授，硕士生导师。目前科研兴趣为：多媒体图像识别与理解、视频镜头分割与特征提取、进化计算。中国计算机学会教育委员会委员、中国计算机学会高级会员。主持的部分科研项目1.广东省产学研项目：基于协 ...研究生导师 中山大学 免费考研网 2012-10-21中山大学信息科学与技术学院研究生导师介绍王甲海
王甲海基本情况性别：男暂无图片研究方向：人工智能及其应用;数据挖掘与知识发现办公电话：电子邮件：wangjiah@mail.sysu.edu.cn个人主页：http://sist.sysu.edu.cn/~wangjiah详细介绍基本资料：王甲海男工学博士副教授wangjiah@mail.sysu.edu.cn2005年毕业于ToyamaUniversity(日本)，获工学博士学位研究兴趣：[]智 ...研究生导师 中山大学 免费考研网 2012-10-21中山大学信息科学与技术学院研究生导师介绍王常吉
王常吉基本情况性别：男暂无图片研究方向：办公电话：电子邮件：isswchj@mail.sysu.edu.cn个人主页：http://sist.sysu.edu.cn/~isswchj详细介绍副教授性别：男Email：isswchj@mail.sysu.edu.cn;wchangji@gmail.com详细介绍：1990年9月至1994年7月：就读于湖南吉首大学数学系，获理学学士学位1994年9月至 ...研究生导师 中山大学 免费考研网 2012-10-21中山大学信息科学与技术学院研究生导师介绍李小霞
李小霞基本情况性别：女暂无图片研究方向：办公电话：电子邮件：lixx@mail.sysu.edu.cn个人主页：http://sist.sysu.edu.cn/~lixx详细介绍李小霞lixx@mail.sysu.edu.cnLi_xiaoxia@sina.com ...研究生导师 中山大学 免费考研网 2012-10-21中山大学信息科学与技术学院研究生导师介绍蔡国扬
蔡国扬基本情况性别：男暂无图片研究方向：办公电话：电子邮件：isscgy@mail.sysu.edu.cn个人主页：http://sist.sysu.edu.cn/~isscgy详细介绍isscgy@mail.sysu.edu.cn ...研究生导师 中山大学 免费考研网 2012-10-21中山大学信息科学与技术学院研究生导师介绍张永民
张永民基本情况性别：男暂无图片研究方向：办公电话：电子邮件：isszym@mail.sysu.edu.cn个人主页：http://sist.sysu.edu.cn/~isszym详细介绍张永民isszym@mail.sysu.edu.cn ...研究生导师 中山大学 免费考研网 2012-10-21中山大学信息科学与技术学院研究生导师介绍龙云亮
龙云亮基本情况性别：男暂无图片研究方向：办公电话：39943302电子邮件：isslyl@mail.sysu.edu.cn个人主页：http://sist.sysu.edu.cn/~isslyl详细介绍龙云亮博士，男，1963年6月生，教授，博士生导师。教育部首届高校骨干教师，广东省千百十人才。IEEESeniorMember，中国电子学会微 ...研究生导师 中山大学 免费考研网 2012-10-21中山大学信息科学与技术学院研究生导师介绍阮文江
阮文江基本情况性别：男暂无图片研究方向：办公电话：电子邮件：pusrwj@mail.sysu.edu.cn个人主页：http://sist.sysu.edu.cn/~pusrwj详细介绍阮文江Pusrwj@mail.sysu.edu.cn ...研究生导师 中山大学 免费考研网 2012-10-21
