简介 Introduction
photo

Yongwang ZHAO , Ph.D, Assoc. Prof.
赵永望,博士,副教授/特聘研究员
软件工程系 副主任 - Associate Chair, Department of Software Engineering
北京市大数据科学与脑机智能高精尖创新中心 特聘研究员
计算机学院 - School of Computer Science and Engineering
北京航空航天大学 - Beihang University (BUAA)

Address:
G506, New Main Building, Beihang University, Xueyuan Road 37, Haidian District, Beijing, China, 100191
北京市海淀区北京航空航天大学新主楼G座506室

微信号:

微信公众号:

新闻 News
  • [October 14, 2018] 受邀在中国Linux内核开发者大会,做主题演讲《并发式伙伴内存管理C代码的形式验证》 会议网站
  • [September 15, 2018] 受邀在中国软件工程研究与产业峰会,做主题演讲《物联网操作系统: 形式验证与安全认证》。演讲主题报告详见 微信公众号文章
  • [August 16, 2018] 受邀在中国网络安全年会(CNCERT 2018)上,主持“物联网安全”分论坛,并做主题演讲《物联网操作系统: 形式验证与安全认证》。演讲主题报告,详见 微信公众号文章
  • [June 1, 2018] 本人受邀成为Common Criteria(CC)的操作系统内核工作组成员,起草(多核)操作系统内核的security protection profile。 See news
  • [15 April 2018] ARINC653操作系统标准委员会会议在法国Thales总部召开。波音、空客、霍尼韦尔、四大安全关键操作系统厂商(美国风河,绿山,DDC-I,德国SYSGO)、北京航空航天大学等单位参会。会上专题讨论了我们发表在IEEE Trans. on Dependable and Secure Computing的论文,对我们发现的安全漏洞进行确认,并相应修改标准。风河vxworks团队提出与我们合作的意愿。 查看详情
  • [10 April 2018] Full paper accepted by International Symposium on Formal Methods (FM 2018) (CCF B, top tier in formal methods). See publication
  • [5 March 2018] 我们在操作系统隔离内核方面的5篇研究论文,被著名的开源操作系统内核POK引为重要的参考文献。POK是法国几个大学开发的开源内核,已经被开发成商业操作系统JetOS,并应用到俄罗斯民航客机上。[见POK官网]
  • [20 May 2017] 参加在法国空客公司总部举行的ARINC653实时操作系统标准委员会会议,并正式成为委员会成员(中国首个成员)。 委员会聚集了国际上几乎所有航空航天制造商:两大整机厂商波音、空客;四大系统供应商GE航空、霍尼韦尔Honeywell、泰雷兹Thales、罗克韦尔Rockwell Colins; 四大操作系统软件供应商 风河WindRiver、绿山Green Hills、DDC-I、SYSGO(PikeOS)。[查看详情]
  • [15 Feb 2017] Journal paper accepted by IEEE Transactions on Dependable and Secure Computing (CCF A). See publication
  • [20 Dec 2016] Full paper accepted by TACAS 2017 (CCF B, top tier in formal methods). See publication
  • [14 Oct 2016] I received an acknowledgement email from Boeing and Airbus for our formal verification of ARINC 653 standard. See news
研究方向 Research Interests
学术活动与任职 Professional and Research Activities

国际期刊编委 Editorship

学术任职 Experience:

会议程序委员会 Program Committee Member of:

期刊评阅人 Journal Reviewer of:

  • IEEE Transactions on Reliability, IEEE Transactions on Automation Science and Engieering, The Computer Journal, Computers & Security, Concurrency and Computation: Practice and Experience, IEEE Access, IET Computer&Digital Techniques, 软件学报, ...