张昱男汉族硕导软件研究所 招生专业 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作者