【讲座题目】 复杂系统安全性
　　【主 讲 人】 John Mcdermid教授
　　【讲座地点】凯时KB88第一报告厅
　　【讲座时间】9月9日（星期二）9：30 -- 11:30
　　【嘉宾简介】John Mcdermid教授是英国皇家工程院院士，大英帝国勋章获得者，英国约克大学软件工程教授，计算机系首席研究员，IEE、BCS、ACM会员。英国凯时KB88可信性计算系统中心技术总监，劳斯莱斯公司技术指导。1996年带领的高完整性系统工程团队获英女王周年庆典奖。John McDermid教授的主要研究领域是高完整性计算机系统（High Integrity Computer Systems），目前已出版或编著专著6部，发表350余篇学术论文。在国际上享有极高的学术地位和国际声誉。他首创的方法广泛用于安全关键系统的开发和评估。目标结构表示方法（GSN）是开发安全性用例的事实标准。
　　【主办单位】 凯时KB88 可靠性与系统工程学院
　　凯时KB88 可靠性与环境工程技术国防科技重点实验室

编辑：贾爱平