• 第一考试网微信公众号第一考试网微信公众号
中山大学校徽

中山大学 乔海燕

985211 双一流

  • 广东省广州市新港西路135号
  • http://www.sysu.edu.cn/2012/cn/index.htm http://admission.sysu.edu.cn
  • 020-84036491,020-84111598
  • adado@mail.sysu.edu.cn

  1. 院校大全
  2. 中山大学
  3. 信息科学与技术学院
  4. 乔海燕

乔海燕

姓名： 乔海燕
学校： 中山大学
学院： 信息科学与技术学院
职称：  

乔海燕老师的简介

<div class> <p> <br/> 　　姓名：乔海燕　　 性别：男　　职称：讲师　　<br/> 　　学院：信息科学与技术学院  　最后学历：博士</p> <p> 　　1986年毕业于南开大学数学系，获硕士学位。1986年参加工作，曾先后在山西大学计算机系和太原师院计算机系任教。自1996年底开始， 曾在瑞典Chalmers 理工大学计算机系作访问研究一年；在英国Glasgow 大学计算机系学习一年，获硕士；随后在瑞典Chalmers 理工大学计算机系学习、做研究，获博士。自2004年10月开始在中山大学计算机系任教。<br/> <br/> 教学： </strong></p> <p> 1 《数据结构》<br/> 2 《集合论与图论》<br/> 3 《函数程序设计与程序验证》<br/> 4 《Haskell函数程序设计》<br/>  </p> <p> 科研兴趣： </strong></p> <p> 1. 类型论及其在计算机科学中的应用， 特别是将类型论应用于形式化数学，程序验证，计算机安全协议验证以及自然语言处理等。</p> <p> 2. 函数程序设计，函数程序的测试与证明。</p> </div>

乔海燕老师的课程

  • 暂时还没有收录乔海燕老师的课程列表，我们将尽快添加。

    • 乔海燕老师的论文

    • 暂时还没有收录乔海燕老师的论文，我们将尽快添加。

    乔海燕老师参与的论文

    • 暂时还没有收录乔海燕老师参与的论文，我们将尽快添加。

    信息科学与技术学院 其他教师

    关于乔海燕老师的相关提示：以上内容并非是乔海燕老师的最新情况，请以乔海燕老师的官方公布信息为准。

    猜你想看

    学校首页

    学校简介

    院系设置

    专业介绍

    就业情况

    院校动态

    招生简章

    录取规则

    基础设施

    收费项目

    食宿条件

    奖学金设置

    体检要求

    校园影集

    友情链接

    第一考试网 灯塔阅读
    Copyright ©2024-2025 第一考试网 京ICP备11047680号-2
    反馈/投稿/合作/咨询：13562564（QQ）    邮箱：13562564@qq.com