张昱-中国科学院大学-UCAS
[中文]
[English]
研究领域
招生信息
教育背景
教授课程
出版信息
基本信息
张昱 男 汉族 硕导 软件研究所 电子邮件：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作者
2013 中国科学院大学，网络信息中心.