您当前所在位置: 首页 > 学者
在线提示

恭喜!关注成功

在线提示

确认取消关注该学者?

裘宗燕

     

  

程序理论,软件形式化方法,程序设计语言,新型语言的语义模型,计算机科学教育

个性化签名

TA的关注(0) 关注TA的(0)
留言板

该学者已关闭了留言功能

暂无留言

  • 姓名:裘宗燕
  • 目前身份:
  • 担任导师情况:
  • 学位:
  • 学术头衔:

    博士生导师

  • 职称:-
  • 学科领域:

    计算机软件

  • 研究兴趣:程序理论,软件形式化方法,程序设计语言,新型语言的语义模型,计算机科学教育
个人简介

 裘宗燕,北京大学数学学院信息科学系教授,博士生导师。研究领域:程序理论,软件形式化方法,程序设计语言,新型语言的语义模型,计算机科学教育。负责"Web服务编排和协作的形式化模型"、"对象封装和保护的理论和技术研究"等多项自然科学基金项目,参加973项目"数学机械化方法及其在信息技术中的应用"。担任教育部高等学校文科计算机基础教学指导委员会委员和若干国际学术会议的程序委员会委员,包括ICFEM2003,APLAS2004,ICTAC2004,ICTAC2006。在国际专业杂志,国际会议和国内专业核心期刊发表论文40余篇,其中SCI收录11篇,EI收录12篇。出版教材、译著18本,其中合作著作5本。

  • 主页访问

    4009

  • 关注数

    0

  • 成果阅读

    56

  • 成果数

    15

TA的成果
个人主页 返回顶部