职称：研究员、助理教授
所在院系：计算机学院
研究领域：程序设计语言 软件工程 高可靠人工智能
办公电话：86-10-62757670
电子邮件：xin@pku.edu.cn
个人主页：
https://xinpl.github.io/
张昕，助理教授，美国美国佐治亚理工学院博士，美国麻省理工学院博士后，张昕的主要研究方向为程序设计语言与软件工程，其研究重点在于程序分析与机器学习的交叉领域。一方面，他利用机器学习技术提高程序分析的可用性，提出了概率与逻辑相结合的程序分析、自适应性程序分析、基于用户反馈的程序分析等；另一方面，他开发了针对机器学习系统的程序分析和语言，在机器学习系统的公平性、可解释性问题上都有所创新。曾获FSE 2015杰出论文奖，PLDI 2014杰出论文奖。
