• 登录
  • |
  • 注册
  • |
  • 收藏本站
当前位置:资源共享课首页 > 离散数学 > 教学团队

王捍贫

个人简介

职称:教授、博导学校:北京大学
性别:男学院: 信息科学技术学院

男,博士,现为北京大学信息科学技术学院教授,软件研究所副所长。主要研究领域为程序理论,研究方向包括程序逻辑,程序语义,分布式系统的描述与验证。多年主讲北京大学信息科学技术学院本科生离散数学课程和研究生形式语义课程,此外讲授过高等数学、形式化方法等多门课程。教育部师资培训离散数学课程主讲教师。已在国际会议、国内外学术杂志上发表论文60余篇,教材或译著7部。主持或参加国家自然科学基金项目、863项目、973项目等10余项,参与建设的离散数学课程体系建设在2001年评为北京市教学成果奖一等奖,获教育部高等学校科学技术奖励自然... 更多

  • 主讲教师
    姓名:刘田
    性别:男
    职称:副教授
    学院:信息科学技术学院

    个人简介
  • 团队成员
    姓名:曹永知
    性别:男
    职称:教授
    学院:信息科学技术学院

    个人简介
  • 主讲教师
    姓名:屈婉玲
    性别:女
    职称:教授,博导
    学院:信息科学技术学院

    个人简介
  • 团队成员
    姓名:张立昂
    性别:男
    职称:教授 博导
    学院:信息科学技术学院

    个人简介