裘宗燕
程序理论,软件形式化方法,程序设计语言,新型语言的语义模型,计算机科学教育
个性化签名
- 姓名:裘宗燕
- 目前身份:
- 担任导师情况:
- 学位:
-
学术头衔:
博士生导师
- 职称:-
-
学科领域:
计算机软件
- 研究兴趣:程序理论,软件形式化方法,程序设计语言,新型语言的语义模型,计算机科学教育
裘宗燕,北京大学数学学院信息科学系教授,博士生导师。研究领域:程序理论,软件形式化方法,程序设计语言,新型语言的语义模型,计算机科学教育。负责"Web服务编排和协作的形式化模型"、"对象封装和保护的理论和技术研究"等多项自然科学基金项目,参加973项目"数学机械化方法及其在信息技术中的应用"。担任教育部高等学校文科计算机基础教学指导委员会委员和若干国际学术会议的程序委员会委员,包括ICFEM2003,APLAS2004,ICTAC2004,ICTAC2006。在国际专业杂志,国际会议和国内专业核心期刊发表论文40余篇,其中SCI收录11篇,EI收录12篇。出版教材、译著18本,其中合作著作5本。
-
主页访问
4127
-
关注数
0
-
成果阅读
442
-
成果数
15
裘宗燕
,-0001,():
-1年11月30日
-
42浏览
-
0点赞
-
0收藏
-
0分享
-
90下载
-
0评论
-
引用
-
38浏览
-
0点赞
-
0收藏
-
0分享
-
83下载
-
0评论
-
引用
-
35浏览
-
0点赞
-
0收藏
-
0分享
-
115下载
-
0评论
-
引用
-
47浏览
-
0点赞
-
0收藏
-
0分享
-
212下载
-
0评论
-
引用
-
38浏览
-
0点赞
-
0收藏
-
0分享
-
92下载
-
0评论
-
引用
【期刊论文】Towards the Formal Model and Verification of Web Service Choreography Description Language
裘宗燕
,-0001,():
-1年11月30日
-
39浏览
-
0点赞
-
0收藏
-
0分享
-
48下载
-
0评论
-
引用
-
42浏览
-
0点赞
-
0收藏
-
0分享
-
30下载
-
0评论
-
引用
【期刊论文】Theoretical Foundation of Scope-based Compensable Flow Language for Web Service
裘宗燕
,-0001,():
-1年11月30日
-
42浏览
-
0点赞
-
0收藏
-
0分享
-
30下载
-
0评论
-
引用
-
34浏览
-
0点赞
-
0收藏
-
0分享
-
32下载
-
0评论
-
引用
-
32浏览
-
0点赞
-
0收藏
-
0分享
-
44下载
-
0评论
-
引用