【学术讲座】范贵生：云环境下可信软件建模与验证技术

讲座题目：云环境下可信软件建模与验证技术

讲座时间：12月4日15:30-16:30

讲座地点：X321

主讲人简介：

范贵生，现任华东理工大学信息科学与工程学院副教授、硕士生生导师，中国计算机学会软件工程专委会委员。2009年获华东理工大学计算机应用技术博士学位。2013-2014在美国加州大学戴维斯分校计算机科学与工程学院进行访问。主要研究领域为软件工程、可信计算、形式化方法与云计算。主持国家自然科学基金项目、中央高校基本科研业务费、软件工程重点实验室开放课题等项目研究，在国内外学术刊物上发表论文60余篇，获上海市科技进步一等奖和上海产学研二等奖各1项。

摘要：云计算是当今最受关注的IT领域，对商业运营、社会治理具有深远影响。本报告从云计算发展的背景出发，介绍云计算的基本概念和特征，剖析云计算可信建模与验证的相关技术及前沿动态，并对未来研究内容进行展望。