个人简历

张昱男汉族硕导软件研究所
招生专业
081202-计算机软件与理论
085211-计算机技术
教育背景
2002-10--2005-12法国高等师范学校博士
2002-02--2002-09巴黎第七大学硕士
1999-09--2002-06南京大学硕士
1995-09--1999-06南京大学学士
教授课程
程序设计语言理论

近期论文

（1）FormalSecurityProofswithMinimalFuss:ImplicitComputationalComplexityatWork，InformationandComputation，2012，通讯作者
（2）Acalculusforgame-basedsecurityproofs，LectureNotesinComputerScience，2010，通讯作者
（3）ALogicforReasoningaboutComputationalIndistinguishability，MathematicalStructuresinComputerScience，2010，第1作者
（4）VerifyinganonymouscredentialsystemsinappliedPicalculus，LectureNotesinComputerScience，2009，第2作者
（5）CryptographicLogicalRelations，TheoreticalComputerScience，2008，第1作者