通知公告

当前位置:首页  通知公告

[公派留学回国教师学术报告]胡军: 基于模型的系统安全性分析与验证

时间:2018-12-05来源:人事处官网点击:213

  目:基于模型的系统安全性分析与验证

主讲人:胡军(计算机学院)

时 间:20181225日(星期一)上午10:00-11:00

地 点:将军路校区计算机学院508

 

留学项目:单位公派

留学时间:201710月至201810

留学单位:美国 Boise State University

 

合作教授简介:

Xu Dianxiang (徐殿祥)目前是美国Boise State University 计算机科学与技术学院的终身教授, 是学院研究生专业负责人。其主要科研方向包括: 软件安全、软件工程、形式化方法以及软件定义网络等。在过去5年里, 他负责多项美国国家基金(NSF)资助的科研项目;并已在知名国际期刊与会议上发表超过120篇论文,:IEEE Transactions on Software EngineeringIEEE Transactions on Reliability,等。目前是IEEE高级会员, 担任多个国际学术期刊主编及审稿人, 及很多国际学术会议的组织者和程序委员会主席等。

 

主讲人简介:

胡军,博士,副教授。在过去的几年中先后参与了多项国家级的重大研究项目,:2014-2018年的973项目面向大型飞机综合化航空电子系统安全性基础问题研究”,该项目是以我国大型民机研制中所重点关注的综合航空电子系统安全性的设计、分析、认证等内容,对大型民机中的综合航电系统资源安全性的分析与认证问题展开研究。此外, 报告人也先后作为子项目负责人以及主要参与人参加了十二五国防预研、国家自然科学基金, 以项目负责人承担了航空基金、教育部博士点基金等科研项目等,并先后在国际会议、核心期刊等上面发表数十篇学术论文。