张昱

性别：男

职称：副研究员

电子邮件：yzhang@ios.ac.cn

所在部门：计算机科学国家重点实验室

通讯地址：北京中关村南四街4号（北京8718信箱）中国科学院软件研究所

电话号码：无

邮政编码： 100190

研究方向/领域：主要研究领域涉及程序设计语言理论、形式化信息安全技术、函数式程序设计语言（在金融及数据分析方面的应用）、多核系统上的语言设计等。 目前的主要研究项目涉及面向新型应用的类型系统和函数式语言设计，主要应用包括多核系统、海量数据分析、金融建模、安全与加密系统等等。

个人网站

http://lcs.ios.ac.cn/~yzhang/

学习经历

2002—2005，法国高等师范学校（ENS Cachan）计算机系。

1995—2002，南京大学计算机系。

工作经历

2009至今，中国科学院软件研究所。

2007—2009，澳门科技大学资讯学院。

2006—2007，法国国立信息与自动化研究所（INRIA）。

研究成果与获奖情况

CSLR逻辑：利用类型理论描述计算模型上的加密算法和协议的安全性质，独立提出了CSLR逻辑，设计并实现了基于该逻辑的验证工具原型。

Cryptographic logical relations：利用类型理论描述符号模型上加密通信协议的安全性。该成果获得法国AFCRST协会2006年度最佳博士论文奖。

主要论文

[1] David Nowak, Yu Zhang. A calculus for game-based security proofs. International Conference on Provable Security(ProvSec'2010), vol. 6402 of LNCS, October 2010.

[2] Yu Zhang. The computational SLR: a logic for reasoning about computational indistinguishability. In?Mathematical Structures in Computer Science, volume 20, issue 05, pp. 951-975, Cambridge University Press 2010.

[3] Yu Zhang. Cryptographic Logical Relations. In?Theoretical Computer Science, vol. 394/1-2, pp 39-63, March 2008