张昕

职称:研究员、助理教授

所在院系:计算机学院

研究领域:程序设计语言 软件工程 高可靠人工智能

办公电话:86-10-62757670

电子邮件:xin@pku.edu.cn

个人主页:https://xinpl.github.io/

张昕,助理教授,美国美国佐治亚理工学院博士,美国麻省理工学院博士后,张昕的主要研究方向为程序设计语言与软件工程,其研究重点在于程序分析与机器学习的交叉领域。一方面,他利用机器学习技术提高程序分析的可用性,提出了概率与逻辑相结合的程序分析、自适应性程序分析、基于用户反馈的程序分析等;另一方面,他开发了针对机器学习系统的程序分析和语言,在机器学习系统的公平性、可解释性问题上都有所创新。曾获FSE 2015杰出论文奖,PLDI 2014杰出论文奖。

上一页:张大庆
下一页:周明辉