基本信息
张昱 男 汉族 硕导 软件研究所
电子邮件:yzhang@ios.ac.cn
联系电话:62661656
手机号码:
通信地址:北京中科院软件所
邮政编码:100190

研究领域

程序设计语言,程序化金融交易,信息安全,多核系统。

招生信息

   
招生专业
081202-计算机软件与理论
085211-计算机技术

教育背景

2002-10--2005-12 法国高等师范学校 博士
2002-02--2002-09 巴黎第七大学 硕士
1999-09--2002-06 南京大学 硕士
1995-09--1999-06 南京大学 学士

教授课程

程序设计语言理论

出版信息

   
发表论文
(1) Formal Security Proofs with Minimal Fuss: Implicit Computational Complexity at Work,Information and Computation,2012,通讯作者
(2) A calculus for game-based security proofs,Lecture Notes in Computer Science,2010,通讯作者
(3) A Logic for Reasoning about Computational Indistinguishability,Mathematical Structures in Computer Science,2010,第1作者
(4) Verifying anonymous credential systems in applied Pi calculus,Lecture Notes in Computer Science ,2009,第2作者
(5) Cryptographic Logical Relations,Theoretical Computer Science,2008,第1作者