SIG-类型系统 技术沙龙预告

编程语言技术社区介绍

编程语言技术社区会由多个 SIG（Special Interest Gorup） 与 WG（Work Group） 组成，对应编程语言设计、实现、配套工具和生态链等相关技术，以及对应技术在场景下的应用探索，引导业界技术专家、高校科研教师为 Group Leader，形成良好的产学研闭环，吸引技术爱好者、学生到社区中成长。

更多介绍可以点开编程语言Lab公众号的“关于我们”进行了解。

SIG 介绍

SIG-类型系统 旨在建设一个针对编程语言类型系统技术领域学习、分享、成长的平台，吸引并聚集对类型系统相关核心技术有所研究、有所建树的专家、学者以及对学习类型系统相关技术拥有热情的学生们。当前已加入多名核心成员，分别代表企业技术专家、学术界研究学者、学生群体与用户群体等。

SIG-类型系统 会定期举办沙龙会议，分享各自的研究进展，将技术分享、学习交流、技术开发等活动常规化、公开化，为技术爱好者提供学习交流的平台。

Gitee 地址：

https://gitee.com/HW-PLLab/community/tree/master/sigs/SIG-TypeSystem

SIG 主席：待定

当前核心成员：

詹博华

• 麻省理工博士后，现任中科院软件所硕导

• 研究方向：形式化方法（交互式定理证明、嵌入式系统的建模和验证）

阚双龙

• 凯泽斯劳滕工业大学博士后

• 研究方向：形式化方法，程序设计语言

• 个人邮箱：kanshuanglong@outlook.com

Yizhou Zhang

• 滑铁卢大学助理教授，康奈尔大学博士

• 研究方向：编程语言设计与实现，高级语言抽象

• 个人主页：https://cs.uwaterloo.ca/~yizhou

许智武

• 深圳大学计算机与软件学院副教授，巴黎第七大学博士

• 研究方向：程序分析与验证、类型系统、程序安全、自动机理论和逻辑、机器学习

• 个人邮箱：xuzhiwu@szu.edu.cn

王盛颐 

• 普林斯顿大学博士后研究助理，新加坡国立大学博士

• 研究方向：形式化验证，程序语言

• 个人主页：https://www.cs.princeton.edu/~shengyiw/

秦胜潮 

• 华为香港研究所高级技术专家，北京大学博士

• 研究方向：程序分析与验证、程序安全与网络安全、程序资源分析等

• 个人邮箱：shengchao.qin@huawei.com

李屹

• 华为 OS 内核高级工程师，北京大学博士

• 研究方向：形式化验证与领域建模语言，确定性时延分析

• 个人邮箱：liyi.fm@foxmail.com

陈泓旭

• 华为可信实验室高级工程师， 南洋理工大学博士

• 研究方向：程序分析，软件安全，编程理论

• 个人邮箱：hongxu_chen@foxmail.com

朱子润

• 华为高级工程师，日本国立信息学研究所博士，BiYacc 作者

• 研究方向：Type Systems, Functional Programming, Bidirectional Transformation

• 个人主页：https://ac.k331.one/

往期文章

SIG-类型系统往期文章