信息:

资源

Yuyan保

助理教授

Yuyan保

助理教授

学术任命(s)

计算机与网络科学行政学系

计算机与网络科学学院计算机与网络科学系

教育

  • 计算机科学博士。中佛罗里达大学，2017年

  • 计算机软件工程硕士北京航空航天大学，2007

  • 计算机科学博士。北京大学，2003年

最近一学年开设的课程

  • 去找找CSCI 8510

    独立研究：PRG Lang和PRG验证

  • ”3610年

    系统分析与设计

奖学金

近期刊物选集

  • 多态可达性类型：跟踪新鲜度、混叠和分离在高阶通用程序，2024期刊文章，学术期刊
  • 非纯高阶语言的图ir（技术报告），2023年研究报告
  • 非纯高阶语言的图ir：使用精确的效果依赖来实现积极的优化，2023，学术期刊
  • 基于逻辑关系的可达性类型建模，2009年研究报告
  • 多态可达性类型：跟踪新鲜度、混叠和分离在高阶通用程序，2023期刊文章，学术期刊

部门服务

  • 教职员遴选委员会2022年至今

    角色:委员会成员

专业的服务

  • 计算机软件和媒体应用2023年至今

    角色:编辑，期刊编辑