刘阳 - 南京财经大学 - 信息工程学院

个人简介

围绕安全攸关系统的分析与验证领域，做了一些有意义的探索工作：主持完成或在研国家自然科学基金、中国博士后科学基金、省自然科学基金和省高校自然科学重大项目各1项，参与完成或在研ERC-Singapore联合项目1项、国家自然科学基金项目3项、国家高技术研究发展计划（863计划）和国家重点基础研究发展计划（973计划）子课题各1项；以第一作者或通讯作者(协助指导的博士生第一作者)发表或被录用多篇论文于CCF A/B/C类期刊/会议、计算机学报、软件学报和电子学报英文版等国内外著名期刊和国际会议；相关成果被欧洲科学院院士Prof. Katoen研究组等或国际期刊IEEE Transactions on Service Computing等引用。

学术兼职

CCF高级会员、ACM/IEE会员，曾任新加坡国立大学Research Fellow，多次在新加坡国立大学/南洋理工大学等访学合作研究，国家自然科学基金等项目评审专家，CCF 推荐期刊/会议、计算机学报、软件学报等国内外著名期刊审稿人，多个国际会议程序委员会委员